整体公理与V=HOD
摘要：整体性公理是由Paul Corazza提出的，它公理化了存在一个基本嵌入j:V-->V。通过在集合论的普通语言中增加一个额外的一元函数符号j来形式化，它们避免了Kunen矛盾，通过将基本理论ZFC限制在集合论的普通语言中。因此，在整体性公理下，不能像Kunen在他著名的矛盾证明中那样在带有j的语言中引用替换公理。实际上，很容易看出整体性公理的一致性强度严格低于存在I\_3基数的情况。在本文中，我证明了如果整体性公理WA_0本身是一致的，则它与V=HOD一致。证明的一个结果是各种整体性公理WA_n并不全等。此外，理论ZFC+WA_0是有限公理可公设的。
作者：Joel David Hamkins (City University of New York)
论文ID：math/9902079
分类：Logic
分类简称：math.LO
提交时间：2007-05-23