Abstract
We discuss minimal elementary extensions of models of set theory and contrast the behavior of models of set theory and arithmetic as regarding such extensions. Our main result, proved using a Boolean ultrapower argument, is:
Theorem
Every model of ZFChas a conservative elementary extension which possesses a cofinal minimal elementary extension.An application of Boolean ultrapowers to models of full arithmetic is also presented.
Similar content being viewed by others
References
Bell, J.L.: Boolean valued models and independence proofs in set theory, 2nd edn. New York: Oxford University Press 1985
Blass, A.: On certain types and models for arithmetic. J. Symb. Logic39, 151–162 (1974)
Blass, A.: End extensions, conservative extensions, and the Rudin-Frolik ordering. Trans. Am. Math. Soc.225, 325–340 (1977)
Blass, A.: Conservative extensions of models of arithmetic. Arch. Math. Logik20, 85–94 (1980)
Enayat, A.: Topics in the model theory of set theory. Doctoral dissertation, University of Wisconsin, Madison, 1984
Enayat, A.: On certain elementary extensions of models of set theory. Trans. Am. Math. Soc.283, 705–715 (1984)
Enayat, A.: Conservative elementary extensions of models of set theory and generalizations. J. Symb. Logic51, 1005–1021 (1986)
Enayat, A.: Undefinable classes and definable elements in models of set theory and arithmetic. Proc. Am. Math. Soc.103, 1216–1220 (1988)
Enayat, A.: Corrections and additions to “Conservative extensions of models of set theory and generalizations”. To appear in J. Symb. Logic
Gaifman, H.: Models and types of Peano arithmetic. Ann. Math. Logic9, 223–306 (1976)
Jech, T.: Set Theory. New York: Academic Press 1978
Keisler, H.J.: Limit ultrapowers. Trans. Am. Math. Soc.107, 382–408 (1963)
Keisler, H.J., Silver, J.: End extensions of models of set theory. Axiomatic set theory, Part I. Proc. Symp. Pure Math.13, 177–187 (1970)
Knight, J.: Hanf number for omitting types over particular theories. J. Symb. Logic41, 583–588 (1976)
Kunen, K.: Some points inβN. Math. Proc. Cambridge Phil. Soc.80, 385–395 (1976)
MacDowell, R., Specker, E.P.: Modelle der Arithmetik. In: Infinitistic methods, pp. 257–263. Oxford: Permagon Press 1961
Mansfield, R.: The theory of Boolean ultrapowers. Ann. Math. Logic2, 297–323 (1971)
Mills, G.: A model of Peano arithmetic with no elementary end extension. J. Symb. Logic43, 563–567 (1976)
Phillips, R.G.: A minimal extension which is not conservative. Mich. Math. J.21, 27–32 (1974)
Phillips, R.G.: Omitting types in arithmetic and conservative extensions. In: Hurd, A., Loeb, P. (eds.) Victoria symposium on nonstandard analysis. Lect. Notes Math., vol. 369, pp. 195–202. Berlin Heidelberg New York: Springer 1974
Potthoff, K.: A simple tree lemma and its application to a counterexample of Phillips. Arch. Math. Logik18, 67–71 (1976)
Schlipf, J.: Toward model theory through recursive saturation. J. Symb. Logic43, 183–206 (1978)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Enayat, A. Minimal elementary extensions of models of set theory and arithmetic. Arch Math Logic 30, 181–192 (1990). https://doi.org/10.1007/BF01621470
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01621470