Hostname: page-component-76fb5796d-9pm4c Total loading time: 0 Render date: 2024-04-25T11:30:28.373Z Has data issue: false hasContentIssue false
  • English
  • Français

Heights of models of ZFC and the existence of end elementary extensions II

Published online by Cambridge University Press:  12 March 2014

Andrés Villaveces
Andrés Villaveces*
Affiliation:
Department of Mathematics, The Hebrew University of Jerusalem, Jerusalem, Israel Dpto. de Matemáticas, Univ. Nacional de Colombia, Santa Fe De Bogotá, Colombia E-mail: villavec@math.huji.ac.il
Get access Rights & Permissions [Opens in a new window]

Abstract

The existence of End Elementary Extensions of modelsM of ZFC is related to the ordinal height of M, according to classical results due to Keisler, Morley and Silver. In this paper, we further investigate the connection between the height of M and the existence of End Elementary Extensions of M. In particular, we prove that the theory ‘ZFC + GCH + there exist measurable cardinals + all inaccessible non weakly compact cardinals are possible heights of models with no End Elementary Extensions’ is consistent relative to the theory ‘ZFC + GCH + there exist measurable cardinals + the weakly compact cardinals are cofinal in ON’. We also provide a simpler coding that destroys GCH but otherwise yields the same result.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 64 , Issue 3 , September 1999 , pp. 1111 - 1124
Copyright
Copyright © Association for Symbolic Logic 1999

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Baumgartner, J., A new class of order types, Annals of Mathematical Logic, vol. 9 (1976), pp. 187–222.CrossRefGoogle Scholar
[2] Baumgartner, J., Iterated forcing, Surveys in set theory (Mathias, A. R. D., editor), London Mathematical Society Lecture Note Series, no. 87, Cambridge University Press, 1983, pp. 1–59.Google Scholar
[3] Boos, W., Boolean extensions which efface the Mahlo property, this Journal, vol. 39 (1974), no. 2, pp. 254–268.Google Scholar
[4] Cummings, J., Džamonja, M., and Shelah, S., A consistency result on weak reflection, accepted by Fundamenta Mathematical.Google Scholar
[5] Enayat, A., Counting countable models of set theory, preprint.Google Scholar
[6] Enayat, A., On certain elementary extensions of models of set theory, Transactions of the American Mathematical Society (1984).Google Scholar
[7] Kaufmann, M., Blunt and topless extensions of models of set theory, this Journal, vol. 48 (1983), pp. 1053–1073.Google Scholar
[8] Keisler, H. J. and Morley, M., Elementary extensions of models of set theory, Israel Journal of Mathematics, vol. 6 (1968).CrossRefGoogle Scholar
[9] Keisler, H. J. and Silver, J., End extensions of models of set theory, Proceedings of Symposia in Pure Mathematics, vol. 13 (1970), pp. 177–187.Google Scholar
[10] Keisler, J., Some applications of the theory of models to set theory, Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, Stanford University Press, 1962, pp. 80–86.Google Scholar
[11] Leshem, A., 0# and elementary end extensions of Vκ , preprint.Google Scholar
[12] Shelah, S., End extensions and the number of countable models, this Journal, vol. 43 (1978), pp. 550–562.Google Scholar
[13] Villaveces, A., Chains of end elementary extensions of models of set theory, this Journal, vol. 63 (1998), pp. 1116–1136.Google Scholar