A Characterization of the Boolean Prime Ideal Theorem in Terms of Forcing Notions

David Fernández-Bretón, Elizabeth Lauri

For certain weak versions of the Axiom of Choice (most notably, the Boolean Prime Ideal theorem), we obtain equivalent formulations in terms of partial orders, and filter-like obje…