TY  - RPRT
TI  - More on the Boolean Prime Ideal Theorem
AU  - Jacob Kowalczyk
AU  - Jindrich Zapletal
PY  - 2026
UR  - https://arxiv.org/abs/2607.16747
ID  - 2607.16747
ER  -