关于布尔素理想定理的更多内容
More on the Boolean Prime Ideal Theorem
首次发表
浏览论文内容
中文总结 AI 辅助
研究布尔素理想定理相关内容，通过证明，得出策梅洛 - 弗兰克尔集合论与依赖选择公理等的一致性。
中文摘要 AI 辅助
我们证明了策梅洛 - 弗兰克尔集合论与依赖选择公理、不存在维塔利集以及布尔素理想定理的一个大的片段的一致性。
英文摘要
We prove the consistency of Zermelo--Fraenkel set theory with the Axiom of Dependent Choices, no Vitali sets and a large fragment of the Boolean Prime Ideal Theorem.
