Forcing the Σ31-separation property

DOI10.1142/S0219061322500088OpenAlexW4283263229MaRDI QIDQ5094533FDOQ5094533

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

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

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)

Cites Work

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

Cited In (3)

• Forcing axioms and the uniformization-property
• Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization
• Title not available (Why is that?)

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)