@misc{indiciaefeb2be6639b7,
  title = {Ordinal analysis of partial combinatory algebras},
  author = {Paul Shafer and Sebastiaan A. Terwijn},
  year = {2021},
  doi = {10.1017/jsl.2021.50},
  url = {https://arxiv.org/abs/2010.12452},
  note = {Source identifier: 2010.12452}
}