TY  - RPRT
TI  - Topological completeness of the provability logic GLP
AU  - Lev D. Beklemishev
AU  - David Gabelaia
PY  - 2011
DO  - 10.1016/j.apal.2013.07.006
UR  - https://arxiv.org/abs/1106.5693
ID  - 1106.5693
ER  -