依赖选择、适当性和泛绝对性
摘要：依赖选择公理及其在适当强制论证的基本理论和针对 Chang模型与大基数在存在大基数时的范畴绝对性的导出上的应用，我们显示了依赖选择公理是一个足够的选择原理。因此，ZF+DC不仅为发展经典分析提供了正确的框架，而且在存在大基数的情况下，也是保护分析中的真理免受独立现象的合适的基础理论。我们还探讨了在ZF理论中适当强制公理的一些基本推论，并提出了关于ZF+DC和ZFC中适当强制公理的范畴绝对性的一个自然问题。我们的结果证实了ZF+DC作为"经典数学"的一个重要部分的自然基础，并支持这个理论作为集合论的一个大部分的自然基础的观点。
作者：David Asper''o and Asaf Karagila
论文ID：1806.04077
分类：Logic
分类简称：math.LO
提交时间：2023-06-22