Separating subversion forcing axioms

DOI10.1017/JSL.2025.10101MaRDI QIDQ7262742zbMATH OpenFDO

Authors Corey Bacal Switzer, Hiroshi Sakai

Publication date 12 June 2026

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/JSL.2025.10101

zbMATH Keywords

forcing axiomssquare principlessubcomplete forcingsubproper forcing

Mathematics Subject Classification ID

Cardinal characteristics of the continuum (03E17) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50)

Cites work

• E-Recursion, Forcing and C*-Algebras
• ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS
• Canonical fragments of the strong reflection principle
• Diagonal reflections on squares
• Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing
• FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION
• Hierarchies of forcing axioms, the continuum hypothesis and square principles
• Iterated forcing and elementary embeddings
• Iteration theorems for subversions of forcing classes
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• On the strengths and weaknesses of weak squares
• Squares, scales and stationary reflection
• Strong Chang's conjecture and the tree property at \(\omega_{2}\)
• The proper forcing axiom and stationary set reflection
• The solidity and nonsolidity of initial segments of the core model
• The subcompleteness of diagonal Prikry
• What is the theory ZFC without power set?

This page was built for publication: Separating subversion forcing axioms

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