@misc{indiciae9da939f3c40f,
  title = {The \$Σ\_1\$-Provability Logic of HA*},
  author = {Mohammad Ardeshir and Mojtaba Mojtahedi},
  year = {2018},
  url = {https://arxiv.org/abs/1805.06763},
  note = {Source identifier: 1805.06763}
}