Forcing the Σ31-separation property

DOI10.1142/S0219061322500088MaRDI QIDQ5094533zbMATH OpenOpenAlexFDO

Authors Stefan Hoffelner

Publication date 3 August 2022

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0219061322500088

zbMATH Keywords

iterated forcingseparation propertycoding forcing

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 \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization
• Models of set theory in which the separation theorem fails
• Half of an inseparable pair
• -sets of reals
• Half of an inseparable pair

Cites work

• scientific article; zbMATH DE number 4057505 (Why is no real title available?)
• scientific article; zbMATH DE number 797413 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• A very absolute Π21 real singleton
• Cardinal characteristics and projective wellorders
• Descriptive set theory
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• Models of set theory in which the separation theorem fails
• NS SATURATED AND -DEFINABLE
• Optimal Proofs of Determinacy
• Surrealist landscape with figures (a survey of recent results in set theory)
• Δ₁-Definability of the non-stationary ideal at successor cardinals
• ωι-Sonslin trees under countable support iterations

Cited in

(3)

• Forcing axioms and the uniformization-property
• Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization
• scientific article; zbMATH DE number 5354045 (Why is no real title available?)

This page was built for publication: Forcing the Σ31-separation property

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