A Remark On The Härtig Quantifier

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

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,252

External links

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

Through your library

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.

Analytics

Added to PP
2013-11-24

Downloads
18 (#795,951)

6 months
5 (#592,531)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logicality and model classes.Juliette Kennedy & Jouko Väänänen - 2021 - Bulletin of Symbolic Logic 27 (4):385-414.
δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.
δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.
Abstract logic and set theory. II. large cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.

Add more citations

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