ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS

DOI10.1017/JSL.2021.13OpenAlexW3000031915MaRDI QIDQ5000270FDOQ5000270

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

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

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)

Cites Work

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

Cited In (6)

• Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing
• Aronszajn tree preservation and bounded forcing axioms
• Canonical fragments of the strong reflection principle
• Title not available (Why is that?)
• The tree property at \(\omega_2\) 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)