@misc{indiciaecb55ed300e7e,
  title = {Computable Aspects of the Bachmann-Howard Principle},
  author = {Anton Freund},
  year = {2020},
  doi = {10.1142/s0219061320500063},
  url = {https://arxiv.org/abs/1809.06774},
  note = {Source identifier: 1809.06774}
}