@misc{beklemishev2011topological,
  title={Topological completeness of the provability logic GLP},
  author={Lev D. Beklemishev and David Gabelaia},
  year={2011},
  eprint={1106.5693},
  archivePrefix={arXiv},
  primaryClass={math.LO},
  doi={10.1016/j.apal.2013.07.006},
  url={https://arxiv.org/abs/1106.5693}
}