HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES
From MaRDI portal
Publication:4638987
DOI10.1017/jsl.2017.46zbMath1447.03017OpenAlexW2799704085WikidataQ129879421 ScholiaQ129879421MaRDI QIDQ4638987
Publication date: 2 May 2018
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/bd8c9e59c359182d319a87614341e793404fcecd
bounded forcing axiomsforcing axiomssquare principlesremarkable cardinalssubcomplete forcingweak forcing axioms
Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40) Generic absoluteness and forcing axioms (03E57)
Related Items
Forcing axioms and the complexity of non-stationary ideals ⋮ Subcomplete forcing principles and definable well‐orders ⋮ Diagonal reflections on squares ⋮ HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS ⋮ Canonical fragments of the strong reflection principle ⋮ SUBCOMPLETE FORCING, TREES, AND GENERIC ABSOLUTENESS ⋮ Virtual large cardinals ⋮ ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS ⋮ COMBINING RESURRECTION AND MAXIMALITY
Cites Work
- Unnamed Item
- Unnamed Item
- Restrictions on forcings that change cofinalities
- Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
- Generic embeddings associated to an indestructibly weakly compact cardinal
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Bounded forcing axioms as principles of generic absoluteness
- The subcompleteness of Magidor forcing
- The lottery preparation
- Coherent sequences and threads
- SQUARES, SCALES AND STATIONARY REFLECTION
- Proper forcing and remarkable cardinals II
- Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω1
- Martin’s maximum and weak square
- SUBCOMPLETE FORCING AND ℒ-FORCING
- Chains of end elementary extensions of models of set theory
- Combinatorial Characterization of Supercompact Cardinals
- Proper Forcing and Remarkable Cardinals
- A maximal bounded forcing axiom
- Simultaneous stationary reflection and square sequences
- Set Theory
- The bounded proper forcing axiom
- Separating stationary reflection principles
- ON RESURRECTION AXIOMS
- Strongly unfoldable cardinals made indestructible
- The fine structure of the constructible hierarchy
- Bounded forcing axioms and the continuum