More on the Boolean Prime Ideal Theorem

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.