Hierarchies of resurrection axioms

Journal of Symbolic Logic 83 (1):283-325 (2018)
  Copy   BIBTEX

Abstract

I analyze the hierarchies of the bounded resurrection axioms and their “virtual” versions, the virtual bounded resurrection axioms, for several classes of forcings. I analyze these axioms in terms of implications and consistency strengths. For the virtual hierarchies, I provide level-by-level equiconsistencies with an appropriate hierarchy of virtual partially super-extendible cardinals. I show that the boldface resurrection axioms for subcomplete or countably closed forcing imply the failure of Todorčević’s square at the appropriate level. I also establish connections between these hierarchies and the hierarchies of bounded and weak bounded forcing axioms.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,466

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

Absoluteness Via Resurrection.Giorgio Audrito & Matteo Viale - 2017 - Journal of Mathematical Logic 17 (2):1750005.
Down with the Hierarchies.Jacob Stegenga - 2014 - Topoi 33 (2):313-322.
The Resurrection of Jesus in Art.Ulrich Luz - 2011 - Interpretation: A Journal of Bible and Theology 65 (1):44-55.
The Resurrection Revisited.G. O'collins - 1998 - Gregorianum 79 (1):169-172.
On Resurrection Axioms.Konstantinos Tsaprounis - 2015 - Journal of Symbolic Logic 80 (2):587-608.
The Revision Theory of Resurrection.Eric Steinhart - 2008 - Religious Studies 44 (1):63-81.
Resurrection Axioms and Uplifting Cardinals.Joel David Hamkins & Thomas A. Johnstone - 2014 - Archive for Mathematical Logic 53 (3-4):463-485.
Hierarchy.Paul H. Rubin - 2000 - Human Nature 11 (3):259-279.
On Extremal Axioms.Rudolf Carnap, Friedrich Bachmann & H. G. Bohnert - 1981 - History and Philosophy of Logic 2 (1-2):67-85.
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.

Analytics

Added to PP
2018-05-03

Downloads
8 (#980,273)

6 months
1 (#417,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Subcomplete Forcing Principles and Definable Well-Orders.Gunter Fuchs - 2018 - Mathematical Logic Quarterly 64 (6):487-504.

Add more citations

References found in this work

Bounded Forcing Axioms as Principles of Generic Absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.
Simultaneous Stationary Reflection and Square Sequences.Yair Hayut & Chris Lambie-Hanson - 2017 - Journal of Mathematical Logic 17 (2):1750010.
Resurrection Axioms and Uplifting Cardinals.Joel David Hamkins & Thomas A. Johnstone - 2014 - Archive for Mathematical Logic 53 (3-4):463-485.
The Fine Structure of the Constructible Hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.

View all 9 references / Add more references