TY  - RPRT
TI  - The doctrinal Gödel's completeness theorem and the type space functor
AU  - Marco Abbadini
AU  - Francesca Guffanti
PY  - 2026
UR  - https://arxiv.org/abs/2607.21115
ID  - 2607.21115
ER  -