@misc{indiciae4f6a0fc4d9f0,
  title = {Incompleteness theorems via Turing category},
  author = {Yasha Savelyev},
  year = {2024},
  url = {https://arxiv.org/abs/2412.14084},
  note = {Source identifier: 2412.14084}
}