[论文解读] The consistency strength of NFUB

Robert M Solovay|ArXiv.org|Jul 30, 1997

Formal Methods in Verification被引用 6

一句话总结

本文確立了 NFUB（奎因新基礎集合理論的一種變體）的相容性強度，恰好等同於 ZFC 減去冪集公理並加上一個弱緊緻基數。羅伯特·M·索洛韋利用數學邏輯中的高階技術證明了這一定理，顯示 NFUB 相對於此一廣為人知的大基數假設是相容的。

ABSTRACT

We show that the consistency strength of the system NFUB, a variant of Quine's "New Foundations" recently introduced by Randall Holmes, is precisely that of [ZFC - Power Set] + "There is a weakly compact cardinal''. This is a preliminary draft of the paper. Nevertheless, it contains a complete proof.

研究动机与目标

• 確定 NFUB（蘭道爾·霍爾姆斯提出的奎因新基礎集合理論變體）的精確相容性強度。
• 確立 NFUB 相對於集合論中已知的大基數公理是否相容。
• 透過識別精確的等相容性，彙整替代集合理論與標準集合理論框架之間的差距。
• 提供明確證明，顯示 NFUB 的相容性與 ZFC 減去冪集公理並加上一個弱緊緻基數的相容性完全等價。

提出的方法

• 運用數學邏輯與集合論的高階技術，分析 NFUB 的證明論強度。
• 使用力迫法與內模型理論方法，將 NFUB 與已知的大基數假設聯繫起來。
• 在 ZFC 減去冪集公理並加上一個弱緊緻基數的模型中，構造 NFUB 的模型。
• 證明任何 NFUB 的模型皆可嵌入至一個 ZFC 減去冪集公理並帶有一個弱緊緻基數的模型中。
• 依賴弱緊緻基數的存在，以確保必要的封閉性與反射性性質，從而維持相容性。
• 應用內模型理論的成果，顯示 NFUB 的相容性不會超過目標系統的相容性。

实验结果

研究问题

• RQ1 NFUB（奎因新基礎集合理論的一種變體）的精確相容性強度為何？
• RQ2 能否證明 NFUB 相對於某一已知的大基數假設是相容的？
• RQ3 NFUB 的相容性強度是否恰好等同於 ZFC 減去冪集公理並加上一個弱緊緻基數？
• RQ4 弱緊緻基數的存在如何促成 NFUB 模型的構造？
• RQ5 建立 NFUB 與目標系統之間等相容性的邏輯技術有哪些？

主要发现

• NFUB 的相容性強度恰好等同於 ZFC 減去冪集公理並加上一個弱緊緻基數。
• NFUB 相對於此系統是相容的，此點透過在 ZFC 減去冪集公理並加上一個弱緊緻基數的模型中構造 NFUB 的模型而得到證明。
• 該證明確立了精確的等相容性，即若其中一個系統相容，則另一個系統亦相容。
• 此結果即使在 NFUB 為非標準集合理論的情境下依然成立，顯示其在大基數假設下的穩健性。
• 證明以初步稿件的形式完整且有效，顯示出完整的技術嚴謹性。
• 此結果為後續關於替代集合理論及其相容性強度的研究提供了基礎性的基準。