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

Archive for Mathematical Logic 58 (1-2):245-265 (2019)
  Copy   BIBTEX

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 \-definable class containing no regular cardinals. In such a model, there can be no \-reflecting cardinals and hence also no remarkable cardinals. This latter fact answers negatively a question of Bagaria, Gitman and Schindler.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,169

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
Indestructibility of Vopěnka’s Principle.Andrew D. Brooke-Taylor - 2011 - Archive for Mathematical Logic 50 (5-6):515-529.
Solovay models and forcing extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
The stable core.Sy-David Friedman - 2012 - Bulletin of Symbolic Logic 18 (2):261-267.
A new condensation principle.Thoralf Räsch & Ralf Schindler - 2005 - Archive for Mathematical Logic 44 (2):159-166.

Analytics

Added to PP
2018-05-15

Downloads
31 (#810,793)

6 months
6 (#724,158)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Joel David Hamkins
Oxford University

Citations of this work

Virtual large cardinals.Victoria Gitman & Ralf Schindler - 2018 - Annals of Pure and Applied Logic 169 (12):1317-1334.
Infinity and continuum in the alternative set theory.Kateřina Trlifajová - 2021 - European Journal for Philosophy of Science 12 (1):1-23.
Upward Löwenheim-Skolem-Tarski numbers for abstract logics.Victoria Gitman & Jonathan Osinski - 2025 - Annals of Pure and Applied Logic 176 (8):103583.

View all 6 citations / Add more citations

References found in this work

Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
C(n)-cardinals.Joan Bagaria - 2012 - Archive for Mathematical Logic 51 (3-4):213-240.
Proper forcing and remarkable cardinals II.Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (3):1481-1492.
On colimits and elementary embeddings.Joan Bagaria & Andrew Brooke-Taylor - 2013 - Journal of Symbolic Logic 78 (2):562-578.

View all 6 references / Add more references