Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (13-15):227-228 (1972)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1002/malq.19720181306 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.
Citations of this work BETA
The Härtig Quantifier: A Survey.Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen - 1991 - Journal of Symbolic Logic 56 (4):1153-1183.
Δ-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.
Similar books and articles
A Remark On The Härtig Quantifier.Gebhard Fuhrken - 1972 - Mathematical Logic Quarterly 18 (13‐15):227-228.
Decidability with Respect to Härtig Quantifier and Rescher Quantifier.Martin Weese - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (36):569-576.
On Some Applications of Games for Härtig Quantifier.Michal Krynicki - 1987 - Mathematical Logic Quarterly 33 (4):359-370.
On Some Applications of Games for Härtig Quantifier.Michal Krynicki - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):359-370.
The Härtig Quantifier: A Survey.Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen - 1991 - Journal of Symbolic Logic 56 (4):1153-1183.
Hierarchies of Monadic Generalized Quantifiers.Kerkko Luosto - 2000 - Journal of Symbolic Logic 65 (3):1241-1263.
Quantifiers and Congruence Closure.Jörg Flum, Matthias Schiehlen & Jouko Väänänen - 1999 - Studia Logica 62 (3):315-340.
Die Schedelsche Bibliothek [of Hartmann and Hermann Schedel] Herausg. Von O. Hartig.Richard Joseph P. Stauber, Otto Hartig & Hartmann Schedel - 1908
Review: H. Jerome Keisler, Logic with the Quantifier There Exist Uncountably Many. [REVIEW]Gebhard Fuhrken - 1971 - Journal of Symbolic Logic 36 (4):685-687.
Non-Effective Quantifier Elimination.Mihai Prunescu - 2001 - Mathematical Logic Quarterly 47 (4):557-562.
Generalized Quantifiers and Pebble Games on Finite Structures.Phokion G. Kolaitis & Jouko A. Väänänen - 1995 - Annals of Pure and Applied Logic 74 (1):23-75.
Abstract Logic and Set Theory. II. Large Cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.
The Role of Quantifier Alternations in Cut Elimination.Philipp Gerhardy - 2005 - Notre Dame Journal of Formal Logic 46 (2):165-171.
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.
Analytics
Added to PP index
2016-02-04
Total views
22 ( #515,399 of 2,517,886 )
Recent downloads (6 months)
1 ( #409,045 of 2,517,886 )
2016-02-04
Total views
22 ( #515,399 of 2,517,886 )
Recent downloads (6 months)
1 ( #409,045 of 2,517,886 )
How can I increase my downloads?
Downloads
