The approximation structure of a computably approximable real
Barmpalias, George
J. Symbolic Logic, Tome 68 (2003) no. 1, p. 885- 922 / Harvested from Project Euclid
A new approach for a uniform classification of the computably approximable real numbers is introduced. This is an important class of reals, consisting of the limits of computable sequences of rationals, and it coincides with the 0’-computable reals. Unlike some of the existing approaches, this applies uniformly to all reals in this class: to each computably approximable real x we assign a degree structure, the structure of all possible ways available to approximate x. So the main criterion for such classification is the variety of the effective ways we have to approximate a real number. We exhibit extreme cases of such approximation structures and prove a number of related results.
Publié le : 2003-09-14
Classification:  Computably approximable reals,  approximation structure,  immunity properties,  03F60,  03D30
@article{1058448447,
     author = {Barmpalias, George},
     title = {The approximation structure of a computably approximable real},
     journal = {J. Symbolic Logic},
     volume = {68},
     number = {1},
     year = {2003},
     pages = { 885- 922},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1058448447}
}
Barmpalias, George. The approximation structure of a computably approximable real. J. Symbolic Logic, Tome 68 (2003) no. 1, pp.  885- 922. http://gdmltest.u-ga.fr/item/1058448447/