{"id":"arxiv/2607.16747","url":"https://arxiv.org/abs/2607.16747","tags":["math.LO"],"score":0,"title":"More on the Boolean Prime Ideal Theorem","domain":"math.LO","source":"arxiv","authors":["Jacob Kowalczyk","Jindrich Zapletal"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-18","reactions":{}}