HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES

DOI10.1017/jsl.2017.46zbMath1447.03017OpenAlexW2799704085WikidataQ129879421 ScholiaQ129879421MaRDI QIDQ4638987

Gunter Fuchs

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

zbMATH Keywords

bounded forcing axiomsforcing axiomssquare principlesremarkable cardinalssubcomplete forcingweak forcing axioms

Mathematics Subject Classification ID

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 ω₁
• 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