@misc{indiciae3a7d2271448f,
  title = {Axiomatizing provable \$n\$-provability},
  author = {Evgeny Kolmakov and Lev Beklemishev},
  year = {2018},
  doi = {10.1017/jsl.2018.82},
  url = {https://arxiv.org/abs/1805.00381},
  note = {Source identifier: 1805.00381}
}