地面公理（GA）
摘要：地基公理：一个新的公理被提出，它断言宇宙不是任何内模型的一个非平凡集合强制扩张。地基公理是一阶可表达的，ZFC的任何模型都有一个满足它的类强制扩张。地基公理独立于许多众所周知的集合论断言，包括广义连续性假设、断言V=HOD，即每个集合都是序数可定义的，以及可测和超紧可测基数的存在。相关的基岩公理，它断言宇宙是一个满足地基公理的模型的集合强制扩张，也是一阶可表达的，它的否定是一致的。
作者：Jonas Reitz (New York City College of Technology)
论文ID：math/0609270
分类：Logic
分类简称：math.LO
提交时间：2007-05-23