RELATIVE RANDOMNESS AND REAL CLOSED FIELDS.
We show that for any real number, the class of real numbers less random than it, in the sense of rK-reducibility, forms a countable real closed subfield of the real ordered field. This generalizes the well-known fact that the computable reals form a real closed field. With the same technique we show...
| Publicado en: | Journal of Symbolic Logic Vol. 70; no. 1; pp. 319 - 331 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Mar2005
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |