Forcing the $\Pi^1_n$-Uniformization Property
Abstract
We generically construct a model in which the ${\Pi^1_3}$-uniformization property is true, thus lowering the best known consistency strength from the existence of $M_1^{\#}$ to just $\mathsf{ZFC}$. The forcing construction can be adapted to work over canonical inner models with Woodin cardinals, which yields, for the first time, universes where the $\Pi^1_{2n}$-uniformization property holds for $n >1$, thus producing models which contradict the natural $\mathsf{PD}$-induced pattern. It can also be used to obtain models for the $\Pi^1_1$-uniformization property in the generalized Baire space.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2021
- DOI:
- 10.48550/arXiv.2103.11748
- arXiv:
- arXiv:2103.11748
- Bibcode:
- 2021arXiv210311748H
- Keywords:
-
- Mathematics - Logic;
- 03E15;
- 03E35;
- 03E45;
- 03E47;
- 03E55;
- 03E57;
- 03E60
- E-Print:
- 63 pages, slightly altered coding method which makes several definitions more transparent while leaving the general flow of ideas and proofs untouched. arXiv admin note: text overlap with arXiv:2009.02209, arXiv:1912.11811