The monadic fragment of predicate calculus with the Chang quantifier and equality

C. C. Chang [1965] A Note on the Two Cardinal Problem, Proc. Amer. Math. Soc., 16, 1148–1155.
Article MathSciNet MATH Google Scholar
-[1967] Ultraproducts and Other Methods of Constructing Models, in Sets, Models and Recursion Theory, edited by J. N. Crossley, North-Holland, Amsterdam, pp. 85–121.
Chapter Google Scholar
W. B. Easton [1964] Powers of Regular Cardinals, Princeton University Dissertation.
Google Scholar
Th. Eichholz [1957] Semantische Untersuchungen zur Entscheidbarkeit im Predikatenkalkül mit Funktionsvariablen, Archiv für Mathematische Logik und Grundlagenforschung, 3, 19–28.
Article MathSciNet MATH Google Scholar
T. Frayne, A. Morel & D. Scott [1962] Reduced Direct Products, Fund. Math. 51, 195–228.
MathSciNet MATH Google Scholar
G. Fuhrken [1964] Skolem-type Normal Forms for First Order Languages with a Generalized Quantifier. Fund. Math. 54, 291–302.
MathSciNet MATH Google Scholar
-[1965] Languages with the Added Quantifier “There Exist at Least ℵ _α ” in The Theory of Models, edited by J. Addison, L. Henkin and A. Tarski, North-Holland, Amsterdam, 121–131.
Google Scholar
H. J. Keisler [1964] On Cardinalities of Ultraproducts, Bull. Amer. Math. Soc. 70, 644–647.
Article MathSciNet MATH Google Scholar
-[1967] Models with Orderings, duplicated typescript (Abstract: Weakly Well-Ordered Models), Notices Amer. Math. Soc. 14, p. 414).
MathSciNet Google Scholar
G. Kreisel & J. L. Krivine [1967] Elements of Mathematical Logic, North-Holland, Amsterdam.
MATH Google Scholar
M. H. Löb [1967] Decidability of the Monadic Predicate Calculus with Unary Function Symbols, J.S.L. 32, 563.
Google Scholar
R. MacDowell & E. Specker [1961] Modelle der Arithmetik, in Infinitistic Methods, Pergamon, Oxford. 257–263.
Google Scholar
A. Mostowski [1957] On a Generalization of Quantifiers, Fund. Math. 44, 12–36.
MathSciNet MATH Google Scholar
R. L. Vaught [1964] The Completeness of Logic with the Added Quantifier, ‘There are uncountably many', Fund. Math. 54, 303–304.
MathSciNet MATH Google Scholar
M. Yasuhara [1966] An Axiomatic System for the First Order Language with an Equicardinality Quantifier, J.S.L. 31, 635–640.
MathSciNet Google Scholar

Download references

Authors

A. Slomson
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

M. H. Löb

Rights and permissions

Reprints and permissions

Copyright information

About this paper

Cite this paper

Slomson, A. (1968). The monadic fragment of predicate calculus with the Chang quantifier and equality. In: Löb, M.H. (eds) Proceedings of the Summer School in Logic Leeds, 1967. Lecture Notes in Mathematics, vol 70. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079102

Download citation

DOI: https://doi.org/10.1007/BFb0079102
Published: 20 September 2006
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-04240-2
Online ISBN: 978-3-540-35886-2
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

The monadic fragment of predicate calculus with the Chang quantifier and equality

Access this chapter

Preview

References