(2025) On BPI in Symmetric Extensions Part 1 (preprint, not submitted; this work was subsumed by my thesis, where some corrections are also made to this draft.) [arXiv]
(2026) Characterizations of the Boolean Prime Ideal Theorem in Models Without Choice (thesis) [Online PDF Access]
Characterizations of BPI in Permutation Models (in preparation, based on chapter 3 of my thesis.)
Potentially Equivalent Symmetric Systems (in preparation, based on chapter 5 of my thesis.)
Characterizations of BPI in Symmetric Extensions (in preparation, based on chapter 4 of my thesis.)
