ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS

DOI10.1017/JSL.2021.13MaRDI QIDQ5000270zbMATH OpenOpenAlexFDO

Authors

Publication date 12 July 2021

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

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

zbMATH Keywords

continuum hypothesisforcing axiomsAronszajn treesgeneric absolutenesssubcomplete forcing

Mathematics Subject Classification ID

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

Recommendations

• Subcomplete forcing, trees, and generic absoluteness
• A forcing axiom for a non-special Aronszajn tree
• Hierarchies of forcing axioms, the continuum hypothesis and square principles
• Aronszajn trees, square principles, and stationary reflection
• Bounded forcing axioms as principles of generic absoluteness

Cites work

• E-Recursion, Forcing and C*-Algebras
• A note on weak segments of PFA
• Bounded Namba forcing axiom may fail
• Chains of end elementary extensions of models of set theory
• Closure properties of parametric subcompleteness
• Coherent sequences and threads
• Diagonal reflections on squares
• Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
• Hierarchies of forcing axioms, the continuum hypothesis and square principles
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES
• Separating stationary reflection principles
• Set Theory
• Specializing Aronszajn Trees and Preserving Some Weak Diamonds
• Subcomplete forcing principles and definable well-orders
• Subcomplete forcing, trees, and generic absoluteness
• The bounded proper forcing axiom
• The fine structure of the constructible hierarchy
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)

Cited in

(6)

• Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing
• Canonical fragments of the strong reflection principle
• scientific article; zbMATH DE number 845547 (Why is no real title available?)
• The tree property at \(\omega_2\) and bounded forcing axioms
• Aronszajn tree preservation and bounded forcing axioms
• Forcing axioms via ground model interpretations

This page was built for publication: ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5000270)