More on the Boolean Prime Ideal Theorem

2026/07/18 by Jacob Kowalczyk, Jindrich Zapletal
#math.LO

paper · pdf

Abstract

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.

Related

• Inconsistency of the Zermelo-Fraenkel set theory with the axiom of choice and its effects on the computational complexity
• Maximality Principles in Modal Logic and the Axiom of Choice
• On the Bourbaki's fixed point theorem and the axiom of choice
• Maximal Ideals in Commutative Rings and the Axiom of Choice
• Sequential and distributive forcings without choice