论文标题
强迫$π^1_3 $ - 还原属性和$π^1_3 $均匀化的失败
Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
论文作者
论文摘要
我们强迫构造宇宙获得$π^1_3 $还原属性的模型，从而从$ M_1^{\＃} $的存在中降低了最著名的大型基本强度，仅对ZFC。在此模型中，$π^1_3 $ - 统一属性失败，这首先将这两个原则分开。
We force over the constructible universe to obtain a model of the $Π^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 $Π^1_3$-uniformization property fails, which separates these two principles for the first time.
