References
Cohen, P. J.,Set Theory and the Continuum Hypothesis, W. J. Benjamin, New York, 1966.
Felgner, V.,Models of ZF-Set Theory, Springer Verlag, Berlin, 1971.
Keisler, H. J.,Model Theory for Infinitary Languages, North Holland, Amsterdam, 1971.
Krivine, J. L. and McAloon, K., ‘Forcing and Generalized Quantifiers’, to appear inAnnals of Mathematical Logic.
Lévy, A., ‘Definability in the Axiomatic Set Theory II’, inMathematical Logic and Foundations of Set Theory (ed. by Y. Bar-Hillel) North Holland, 1970.
Mostowski, A. ‘Observations Conserning Elementary Extensions of ω-models’, to appear in Tarski's memorial volume.
Mostowski, A. and Suzuki, Y., ‘On ω-models which are not β-models,’Fund. Math. 65 (1969) 83–93.
Solovay, R. M., ‘The Model of Set Theory...’,Annals of Math. 92 (1970) 1–56.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Guzicki, W. Elementary extensions of Levy's model ofA −2 . Synthese 27, 265–270 (1974). https://doi.org/10.1007/BF00660900
Issue Date:
DOI: https://doi.org/10.1007/BF00660900