基本公理
摘要：提出了一个新的公理，地基公理，它断言宇宙不是任何内部模型的非平凡集合强制扩展。地基公理是一阶可表达的，并且ZFC的任何模型都有满足它的类强制扩展。地基公理与许多众所周知的集合论断言独立，包括广义连续假设、V = HOD的断言（即每个集合都是序数可定义的）以及可测和超紧基数的存在。相关的基岩公理，断言宇宙是满足地基公理的模型的集合强制扩展，同样是一阶可表达的，其否定是一致的。由于这些结果中许多依赖于适当类强制，附录提供了关于适当类强制的基础理论的概述。
作者：Jonas Reitz (New York City College of Technology)
论文ID：math/0609064
分类：Logic
分类简称：math.LO
提交时间：2007-05-23