TY  - RPRT
TI  - On the completeness of the countable fragment of geometric logic
AU  - Matthew de Brecht
PY  - 2026
UR  - https://arxiv.org/abs/2607.22125
ID  - 2607.22125
ER  -