4 citations · 11 across the 17 of their papers we have counts for
1 paper · 2 filters
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…