arXiv Analytics

Sign in

arXiv:1912.11811 [math.LO]AbstractReferencesReviewsResources

The Consistency of the $\bf{Σ^1_3}$-Separation Property

Stefan Hoffelner

Published 2019-12-26Version 1

We force over $L$ to obtain a universe where the $\bf{\Sigma^1_3}$-separation property holds. This answers an old question from A. Mathias.

Comments: 18 pages
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:math/9603219 [math.LO] (Published 1996-03-15)
The consistency of 2^{aleph_{0}}> aleph_{omega} + I(aleph_{2})=I(aleph_{omega})
arXiv:2208.14896 [math.LO] (Published 2022-08-31)
MA$_{ω_1}(S)[S]$ does not imply $\mathcal{K}_2$
arXiv:math/9304203 [math.LO] (Published 1993-04-15)
The Consistency of $ZFC+CIFS$

Links

Toolbox