TY  - RPRT
TI  - Game arguments in some existence theorems of Friedberg numberings
AU  - Takuma Imamura
PY  - 2020
UR  - https://arxiv.org/abs/1508.04387
ID  - 1508.04387
ER  -