迫使 $Π^1_3$-还原性质及 $Π^1_3$-统一化原理的失效
Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
WWU Münster（明斯特大学）
AI总结：
本文通过在可构造宇宙中强制得到 $Π^1_3$-还原性质模型，将大型基数强度从 $M_1^{\#}$ 降低到 ZFC，并首次证明 $Π^1_3$-统一化原理在此模型中失效。
摘要：
我们通过在可构造宇宙中强制获得 $Π^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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
