TY - RPRT TI - A Characterization of the Boolean Prime Ideal Theorem in Terms of Forcing Notions AU - David Fernández-Bretón AU - Elizabeth Lauri PY - 2018 DO - 10.4064/fm558-5-2018 UR - https://arxiv.org/abs/1609.02630 ID - 1609.02630 ER -