Forcing the $\Pi^1_3$-Reduction Property and a Failure of $\Pi^1_3$-Uniformization
Abstract
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 the existence of $M_1^{\#}$ to just ZFC. In this model the $\Pi^1_3$-uniformization property fails, which separates these two principles for the first time.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2020
- DOI:
- 10.48550/arXiv.2009.02209
- arXiv:
- arXiv:2009.02209
- Bibcode:
- 2020arXiv200902209H
- Keywords:
-
- Mathematics - Logic;
- 03E15;
- 03E35;
- 03E45
- E-Print:
- 27 pages. Slightly changed coding method, which enables easier definitions, while leaving the general flow of ideas and proofs almost unchanged. arXiv admin note: text overlap with arXiv:1912.11811