Part of the Lecture Notes in Mathematics book series (LNM, volume 70)
The monadic fragment of predicate calculus with the Chang quantifier and equality
Unable to display preview. Download preview PDF.
- W. B. Easton  Powers of Regular Cardinals, Princeton University Dissertation.Google Scholar
- - 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
- M. H. Löb  Decidability of the Monadic Predicate Calculus with Unary Function Symbols, J.S.L. 32, 563.Google Scholar
- R. MacDowell & E. Specker  Modelle der Arithmetik, in Infinitistic Methods, Pergamon, Oxford. 257–263.Google Scholar
© Springer-Verlag 1968