arXiv Analytics

Sign in

arXiv:2009.02209 [math.LO]AbstractReferencesReviewsResources

Forcing the $Π^1_3$-Reduction Property

Stefan Hoffelner

Published 2020-09-04Version 1

We force over the constructible universe to obtain a model of the $\Pi^1_3$-reduction property, thus lowering the best known large cardinal strength from $\bf{\Delta^1_2}$-determinacy to just ZFC.

Comments: 18 pages
Categories: math.LO
Subjects: 03E15, 03E35, 03E45
Related articles: Most relevant | Search more
arXiv:2206.08283 [math.LO] (Published 2022-06-16)
Constructing the Constructible Universe Constructively
arXiv:2106.04244 [math.LO] (Published 2021-06-08)
The consistency strength of determinacy when all sets are universally Baire
arXiv:1607.02880 [math.LO] (Published 2016-07-11)
In Cohen generic extension, every countable OD set of reals belongs to the ground model

Links

Toolbox