@misc{indiciaee9b7b272fdd5, title = {Game arguments in some existence theorems of Friedberg numberings}, author = {Takuma Imamura}, year = {2020}, url = {https://arxiv.org/abs/1508.04387}, note = {Source identifier: 1508.04387} }