MA(I) and a failure of separation on the third level

DOI10.1016/J.APAL.2025.103667MaRDI QIDQ6889203zbMATH OpenFDO

Authors Stefan Hoffelner

Publication date 5 December 2025

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2025.103667

zbMATH Keywords

forcing axiomsuniformization

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Other notions of set-theoretic definability (03E47) Continuum hypothesis and Martin's axiom (03E50)

Cites work

• A very absolute Π21 real singleton
• Descriptive set theory
• Fine structure and class forcing
• Forcing axioms and the uniformization-property
• Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization
• Forcing the Σ31-separation property
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• scientific article; zbMATH DE number 3351572 (Why is no real title available?)
• Models of set theory in which the separation theorem fails
• The global \({\Sigma}_{n + 2}^1\)-uniformization property and \(\mathsf{BPFA} \)
• ωι-Sonslin trees under countable support iterations

This page was built for publication: \(\mathsf{MA}(\mathcal{I})\) and a failure of separation on the third level

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