A Remark On The Härtig Quantifier

Mathematical Logic Quarterly 18 (13‐15):227-228 (1972)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,743

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2013-11-24

Downloads
12 (#816,361)

6 months
1 (#387,390)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Meeting of the Association for Symbolic Logic, Leeds 1962.M. H. Löb - 1962 - Journal of Symbolic Logic 27 (3):373-382.

Add more references

Citations of this work

Δ-Logics and Generalized Quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155.
Logicality and Model Classes.Juliette Kennedy & Jouko Väänänen - 2021 - Bulletin of Symbolic Logic 27 (4):385-414.
Abstract Logic and Set Theory. II. Large Cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.
Δ-Logics and Generalized Quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155.

Add more citations

Similar books and articles

On Some Applications of Games for Härtig Quantifier.Michal Krynicki - 1987 - Mathematical Logic Quarterly 33 (4):359-370.
Hierarchies of Monadic Generalized Quantifiers.Kerkko Luosto - 2000 - Journal of Symbolic Logic 65 (3):1241-1263.
Abstract Logic and Set Theory. II. Large Cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.
La anotación 202 de las Investigaciones Filosóficas de Wittgenstein.Gonzalo Rodriguez-Pereyra - 1993 - Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 27 (2):25-3.
The Role of Quantifier Alternations in Cut Elimination.Philipp Gerhardy - 2005 - Notre Dame Journal of Formal Logic 46 (2):165-171.
Non-Effective Quantifier Elimination.Mihai Prunescu - 2001 - Mathematical Logic Quarterly 47 (4):557-562.