This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
C. C. Chang [1965] A Note on the Two Cardinal Problem, Proc. Amer. Math. Soc., 16, 1148–1155.
-[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.
W. B. Easton [1964] Powers of Regular Cardinals, Princeton University Dissertation.
Th. Eichholz [1957] Semantische Untersuchungen zur Entscheidbarkeit im Predikatenkalkül mit Funktionsvariablen, Archiv für Mathematische Logik und Grundlagenforschung, 3, 19–28.
T. Frayne, A. Morel & D. Scott [1962] Reduced Direct Products, Fund. Math. 51, 195–228.
G. Fuhrken [1964] Skolem-type Normal Forms for First Order Languages with a Generalized Quantifier. Fund. Math. 54, 291–302.
-[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.
H. J. Keisler [1964] On Cardinalities of Ultraproducts, Bull. Amer. Math. Soc. 70, 644–647.
-[1967] Models with Orderings, duplicated typescript (Abstract: Weakly Well-Ordered Models), Notices Amer. Math. Soc. 14, p. 414).
G. Kreisel & J. L. Krivine [1967] Elements of Mathematical Logic, North-Holland, Amsterdam.
M. H. Löb [1967] Decidability of the Monadic Predicate Calculus with Unary Function Symbols, J.S.L. 32, 563.
R. MacDowell & E. Specker [1961] Modelle der Arithmetik, in Infinitistic Methods, Pergamon, Oxford. 257–263.
A. Mostowski [1957] On a Generalization of Quantifiers, Fund. Math. 44, 12–36.
R. L. Vaught [1964] The Completeness of Logic with the Added Quantifier, ‘There are uncountably many', Fund. Math. 54, 303–304.
M. Yasuhara [1966] An Axiomatic System for the First Order Language with an Equicardinality Quantifier, J.S.L. 31, 635–640.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1968 Springer-Verlag
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:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-04240-2
Online ISBN: 978-3-540-35886-2
eBook Packages: Springer Book Archive
