@misc{indiciae31cb1e7222b8,
  title = {On the \$Π\textasciicircum{}1\_2\$ consequences of \$Π\textasciicircum{}1\_1\$-\$\textbackslash{}mathsf\{CA\}\_0\$},
  author = {Yudai Suzuki and Keita Yokoyama},
  year = {2024},
  url = {https://arxiv.org/abs/2402.07136},
  note = {Source identifier: 2402.07136}
}