4 citations · 11 across the 17 of their papers we have counts for
1 paper · 1 filter
Takuma Imamura
We provide game-theoretic proofs of some well-known existence theorems of Friedberg numberings for the class of all partial computable functions, including (1) the existence of two…