Forcing the _3¹-reduction property and a failure of _3¹-uniformization

DOI10.1016/J.APAL.2023.103292MaRDI QIDQ6156423zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Forcing the Σ31-separation property
• Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
• Factoring Solovay-random extensions, with application to the reduction property
• Generalized reduction theorems for model-theoretic analogs of the class of coanalytic sets
• A Π¹₁-uniformization principle for reals

Cites work

• scientific article; zbMATH DE number 1126835 (Why is no real title available?)
• scientific article; zbMATH DE number 3351572 (Why is no real title available?)
• A Proof of Projective Determinacy
• A very absolute Π21 real singleton
• Adding a closed unbounded set
• Cardinal characteristics and projective wellorders
• Degrees of rigidity for Souslin trees
• Descriptive set theory
• Forcing the Σ31-separation property
• NS SATURATED AND -DEFINABLE
• Projective Measure Without Projective Baire
• ωι-Sonslin trees under countable support iterations

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

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