@misc{indiciaea4092692b4e8,
  title = {Searching problems above arithmetical transfinite recursion},
  author = {Yudai Suzuki and Keita Yokoyama},
  year = {2024},
  url = {https://arxiv.org/abs/2305.07321},
  note = {Source identifier: 2305.07321}
}