paper

The Boolean Prime Ideal Theorem and Vitali Sets

arXiv:2609.17087

Abstract

If ZFC is consistent, then so is ZF+DC+BPI+there is no Vitali set.