The global _n + 2¹-uniformization property and BPFA

DOI10.1016/J.AIM.2025.110272MaRDI QIDQ6995785zbMATH OpenFDO

Authors Stefan Hoffelner

Publication date 17 April 2025

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.AIM.2025.110272

zbMATH Keywords

codingforcing axiomsprojective setsuniformization property

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Generic absoluteness and forcing axioms (03E57)

Cites work

• Bounded forcing axioms as principles of generic absoluteness
• 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 3865265 (Why is no real title available?)
• scientific article; zbMATH DE number 3898876 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1795301 (Why is no real title available?)
• Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
• PFA implies AD^L(ℝ)
• Projective uniformization revisited
• Set Theory
• Set theory. Exploring independence and truth
• Some consequences of the axiom of constructibility
• The bounded proper forcing axiom
• The core model for almost linear iterations

Cited in

(1)

• \(\mathsf{MA}(\mathcal{I})\) and a failure of separation on the third level

This page was built for publication: The global \({\Sigma}_{n + 2}^1\)-uniformization property and \(\mathsf{BPFA} \)

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