Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization

DOI10.1016/j.apal.2023.103292zbMath1525.03106OpenAlexW4377091880MaRDI QIDQ6156423

Stefan Hoffelner

Publication date: 13 June 2023

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.2023.103292

zbMATH Keywords

forcingdefinabilitydescriptive set theory

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cardinal characteristics and projective wellorders
• Degrees of rigidity for Souslin trees
• A very absolute Π21 real singleton
• A Proof of Projective Determinacy
• Adding a closed unbounded set
• ωι-Sonslin trees under countable support iterations
• Projective Measure Without Projective Baire
• NS SATURATED AND -DEFINABLE
• Forcing the Σ31-separation property

This page was built for publication: Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization