ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS

DOI10.1017/jsl.2021.13OpenAlexW3000031915MaRDI QIDQ5000270

No author found.

Publication date: 12 July 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2001.03105

zbMATH Keywords

continuum hypothesisforcing axiomsgeneric absolutenessAronszajn treessubcomplete forcing

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05) Generic absoluteness and forcing axioms (03E57)

Related Items

Forcing axioms via ground model interpretations ⋮ Canonical fragments of the strong reflection principle

Cites Work

• Unnamed Item
• Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Diagonal reflections on squares
• Closure properties of parametric subcompleteness
• Coherent sequences and threads
• Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁
• Specializing Aronszajn Trees and Preserving Some Weak Diamonds
• Chains of end elementary extensions of models of set theory
• HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES
• SUBCOMPLETE FORCING, TREES, AND GENERIC ABSOLUTENESS
• Set Theory
• The bounded proper forcing axiom
• Separating stationary reflection principles
• SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES
• Bounded Namba forcing axiom may fail
• Subcomplete forcing principles and definable well‐orders
• E-Recursion, Forcing and C*-Algebras
• The fine structure of the constructible hierarchy