@misc{indiciae7ccca3da1e0d,
  title = {Topological completeness of the provability logic GLP},
  author = {Lev D. Beklemishev and David Gabelaia},
  year = {2011},
  doi = {10.1016/j.apal.2013.07.006},
  url = {https://arxiv.org/abs/1106.5693},
  note = {Source identifier: 1106.5693}
}