@misc{indiciae6e33b6952fce, title = {Games with backtracking options corresponding to the ordinal analysis of \$PA\$}, author = {Eitetsu Ken}, year = {2024}, url = {https://arxiv.org/abs/2406.17315}, note = {Source identifier: 2406.17315} }