TY - RPRT TI - A model theory of topology AU - Paolo Lipparini PY - 2025 DO - 10.1007/s11225-024-10107-3 UR - https://arxiv.org/abs/2201.00335 ID - 2201.00335 ER -