TY - RPRT TI - On BPI in Symmetric Extensions Part 1 AU - Brian Ransom PY - 2025 UR - https://arxiv.org/abs/2511.21684 ID - 2511.21684 ER -