arXiv Analytics

Sign in

arXiv:1609.03078 [math.LO]AbstractReferencesReviewsResources

Solovay's inaccessible over a weak set theory without choice

Haim Horowitz, Saharon Shelah

Published 2016-09-10Version 1

We study the consistency strength of Lebesgue measurability for $\Sigma^1_3$ sets over a weak set theory in a completely choiceless context. We establish a result analogous to the Solovay-Shelah theorem.

Categories: math.LO
Related articles: Most relevant | Search more
arXiv:math/9707207 [math.LO] (Published 1997-07-30)
The consistency strength of NFUB
arXiv:1012.2046 [math.LO] (Published 2010-12-09)
On the consistency strength of the proper forcing axiom
arXiv:1907.00877 [math.LO] (Published 2019-07-01)
A weak set theory that proves its own consistency

Links

Toolbox