The Turing degrees for some computation model with the real parameter
YONEZAWA, Yoshimi
J. Math. Soc. Japan, Tome 60 (2008) no. 1, p. 311-324 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
L. Blum, M. Shub and S. Smale defined a kind of computation model having parameters that take real values [2]. In this paper we will extend their computation theory on the basis of the conventional recursion theory which is constructed on the domain of integers. In particular, we will define the Turing degree for the set of reals similarly to the Turing degree for the set of integers, so as to derive some related results.
Publié le : 2008-04-15
Classification:  B.S.S. recursive function,  Turing degree,  03D30,  03D15 
@article{1212156652,
     author = {YONEZAWA, Yoshimi},
     title = {The Turing degrees for some computation model with the real parameter},
     journal = {J. Math. Soc. Japan},
     volume = {60},
     number = {1},
     year = {2008},
     pages = { 311-324},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1212156652}
}

YONEZAWA, Yoshimi. The Turing degrees for some computation model with the real parameter. J. Math. Soc. Japan, Tome 60 (2008) no. 1, pp.  311-324. http://gdmltest.u-ga.fr/item/1212156652/