On BPI in Symmetric Extensions Part 1

Brian Ransom

Historically, proofs of $\mathrm{BPI}$ in models without choice have relied on a contradiction framework that was introduced by Halpern. We introduce the filter extension property…