ProV Logo
0

Game arguments in some existence theorem...
Imamura, Takuma...
Game arguments in some existence theorems of Friedberg numberings by Imamura, Takuma ( Author )
N.A
18-08-2015
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 incomparable Friedberg numberings; (2) the existence of a uniformly c.e. sequence of pairwise incomparable Friedberg numberings; (3) the existence of a uniformly c.e. independent sequence of Friedberg numberings. Parameterizing these proofs, we have game-theoretic proofs of Kummer's criteria and their modifications.
-
Article
pdf
36.88 KB
English
-
MYR 0.00
-
http://arxiv.org/abs/1508.04387
Share this eBook