Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-30T23:24:30.584Z Has data issue: false hasContentIssue false
  • English
  • Français

Chains of end elementary extensions of models of set theory

Published online by Cambridge University Press:  12 March 2014

Andrés Villaveces
Andrés Villaveces*
Affiliation:
Mathematics Institute, Hebrew University, 91904 Jerusalem, Israel Departamento de Matematicas, Universidad Nacional, Bogota, Columbia E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

Large cardinals arising from the existence of arbitrarily long end elementary extension chains over models of set theory are studied here. In particular, we show that the large cardinals obtained in this fashion (‘unfoldable cardinals’) lie in the boundary of the propositions consistent with ‘V = L’ and the existence of 0#. We also provide an ‘embedding characterisation’ of the unfoldable cardinals and study their preservation and destruction by various forcing constructions.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 63 , Issue 3 , September 1998 , pp. 1116 - 1136
Copyright
Copyright © Association for Symbolic Logic 1998

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]Beller, A., Jensen, , and Welch, , Coding the universe, Cambridge Lecture Series, Cambridge University Press, 1983.Google Scholar
[2]Boos, W., Boolean extensions which efface the Mahlo property, this Journal, vol. 39 (1974), no. 2, pp. 254–268.Google Scholar
[3]Enayat, A., Counting countable models of set theory, preprint.Google Scholar
[4]Enayat, A., On certain elementary extensions of models of set theory, Transactions of the American Mathematical Society, vol. ? (1984).Google Scholar
[5]Enayat, A., title?, 1985.Google Scholar
[6]Hauser, K., Indescribable cardinals and elementary embeddings, this Journal, vol. 56 (1991), no. 2, pp. 439–457.Google Scholar
[7]Jensen, R., Measurable cardinals and the GCH, Axiomatic set theory (Jech, T., editor), vol. II, Proceedings of Symposia in Pure Mathematics, no. 13, American Mathematical Society, Providence, RI, 1974, pp. 175–178.CrossRefGoogle Scholar
[8]Kaufmann, M., Blunt and topless extensions of models of set theory, this Journal, vol. 48 (1983), pp. 1053–1073.Google Scholar
[9]Keisler, H. J., Some applications of the theory of models to set theory, Logic, methodology, and philosophy of science, Stanford University Press, 1962, proceedings of the 1960 International Congress, pp. 80–86.Google Scholar
[10]Keisler, H. J. and Morley, M., Elementary extensions of models of set theory, Israel Journal of Mathematics, vol. 6 (1968).CrossRefGoogle Scholar
[11]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
[12]Laver, R., Making the supercompactness ofn indestructible under K-directed closed forcing, Israel Journal of Mathematics, vol. 29 (1978), pp. 385–388.CrossRefGoogle Scholar
[13]Levinski, J. P., Filters and large cardinals, Annals of Pure and Applied Logic, vol. 72 (1995), pp. 177–212.CrossRefGoogle Scholar
[14]Villaveces, A., Heights of models of ZFC and the existence of end elementary extensions, accepted by this Journal.Google Scholar