@misc{indiciae70e40cf3a789,
  title = {Effectivity and Reducibility with Ordinal Turing Machines},
  author = {Merlin Carl},
  year = {2018},
  doi = {10.3233/com-210307},
  url = {https://arxiv.org/abs/1811.11630},
  note = {Source identifier: 1811.11630}
}