@misc{indiciaeb0b99c3a942e,
  title = {Program Synthesis is \$Σ\_3\textasciicircum{}0\$-Complete},
  author = {Jinwoo Kim},
  year = {2024},
  url = {https://arxiv.org/abs/2405.16997},
  note = {Source identifier: 2405.16997}
}