Scifaro

中文

强制实现 $\Pi^1_3$-归约性质及 $\Pi^1_3$-一致化性质的失败

逻辑 2026-04-15 v6

作者: Stefan Hoffelner

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

我们在可构造宇宙上施行力迫以获得一个具有 $\Pi^1_3$ -归约性质的模型，从而将已知的最佳大基数强度从 $M_1^{\#}$ 的存在性降低为仅需ZFC。在该模型中 $\Pi^1_3$ -一致化性质失败，这首次将这两条原则分离开来。

关键词

力迫可构造宇宙 $\Pi^1_3$-归约 $\Pi^1_3$-一致化集合论

引用

@article{arxiv.2009.02209,
  title  = {Forcing the $\Pi^1_3$-Reduction Property and a Failure of $\Pi^1_3$-Uniformization},
  author = {Stefan Hoffelner},
  journal= {arXiv preprint arXiv:2009.02209},
  year   = {2026}
}

备注

30 pages. Corrected last section