@misc{indiciae38c0b9bc3d99,
  title = {Degrees of incomputability, realizability and constructive reverse mathematics},
  author = {Takayuki Kihara},
  year = {2025},
  url = {https://arxiv.org/abs/2002.10712},
  note = {Source identifier: 2002.10712}
}