Advertisement

A model of the generic Vopěnka principle in which the ordinals are not Mahlo

  • Victoria Gitman
  • Joel David Hamkins
Article

Abstract

The generic Vopěnka principle, we prove, is relatively consistent with the ordinals being non-Mahlo. Similarly, the generic Vopěnka scheme is relatively consistent with the ordinals being definably non-Mahlo. Indeed, the generic Vopěnka scheme is relatively consistent with the existence of a \(\Delta _2\)-definable class containing no regular cardinals. In such a model, there can be no \(\Sigma _2\)-reflecting cardinals and hence also no remarkable cardinals. This latter fact answers negatively a question of Bagaria, Gitman and Schindler.

Keywords

Virtual large cardinals Remarkable cardinals Generic Vopenka principle 

Mathematics Subject Classification

03E35 03E55 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bagaria, J.: \(C^{(n)}\)-cardinals. Arch. Math. Logic 51(3–4), 213–240 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Bagaria, J., Brooke-Taylor, A.: On colimits and elementary embeddings. J. Symb. Logic 78(2), 562–578 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Bagaria, J., Gitman, V., Schindler, R.: Generic Vopěnka’s Principle, remarkable cardinals, and the weak Proper Forcing Axiom. Arch. Math. Logic 56(1–2), 1–20 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Bagaria, J., Hamkins, J.D., Tsaprounis, K., Usuba, T.: Superstrong and other large cardinals are never Laver indestructible. Arch. Math. Logic 55(1–2), 19–35 (2016). (Special volume in memory of R. Laver)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Foreman, M.: Ideals and generic elementary embeddings. In: Foreman, M., Kanamori, A. (eds.) Handbook of Set Theory, vols. 1, 2, 3, pp. 885–1147. Springer, Dordrecht (2010)Google Scholar
  6. 6.
    Gitman, V., Hamkins, J.D., Karagila, A.: Kelley–Morse set theory does not prove the class Fodor theorem (in preparation) Google Scholar
  7. 7.
    Gitman, V., Schindler, R.: Virtual large cardinals. In: The Proceedings of the Logic Colloquium (2015) (to appear) Google Scholar
  8. 8.
    Hamkins, J.D.: The Vopěnka principle is inequivalent to but conservative over the Vopěnka scheme (manuscript under review) Google Scholar
  9. 9.
    Schindler, R.-D.: Proper forcing and remarkable cardinals. II. J. Symb. Logic 66(3), 1481–1492 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Schindler, R.: Remarkable cardinals. In: Geschke, S., Loewe, B., Schlicht, P. (eds.) Infinity, Computability, and Metamathematics, volume 23 of Tributes, pp. 299–308. College Publications, London (2014)Google Scholar
  11. 11.
    Solovay, R.M., Reinhardt, W.N., Kanamori, A.: Strong axioms of infinity and elementary embeddings. Ann. Math. Logic 13(1), 73–116 (1978)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Tsaprounis, K.: On \(C^{(n)}\)-extendible cardinals (Submitted) Google Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Mathematics Program, CUNY Graduate CenterThe City University of New YorkNew YorkUSA
  2. 2.Mathematics, Philosophy, Computer ScienceThe Graduate Center of The City University of New YorkNew YorkUSA
  3. 3.College of Staten Island of CUNYStaten IslandUSA

Personalised recommendations