TY  - RPRT
TI  - A Topological Completeness Theorem for Transfinite Provability Logic
AU  - Juan P. Aguilera
PY  - 2019
UR  - https://arxiv.org/abs/1609.03074
ID  - 1609.03074
ER  -