关于 $\Sigma^1_3$- 和 $\Sigma^1_4$- 均匀化
逻辑
2026-04-22 v1
摘要
在假设 的一致性的前提下，我们构造了一个集合论模型，其中 boldface - 均匀化属性成立，但 lightface - 均匀化属性失败，从而首次分离这两个原则。我们还指出如何创建一个宇宙，其中 - 均匀化成立，但 - 均匀化失败，这是通过具有大基数的内模型实现的。
引用
@article{arxiv.2604.19360,
title = {On $\boldsymbol{\Sigma}^1_3$- and $\Sigma^1_4$-uniformization},
author = {Stefan Hoffelner},
journal= {arXiv preprint arXiv:2604.19360},
year = {2026}
}