The upper bounds of enumerable sets of constructive real numbers
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 5, Tome 113 (1970), pp. 102-172
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{TM_1970_113_a4,
author = {G. S. Tseitin},
title = {The upper bounds of enumerable sets of constructive real numbers},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {102--172},
year = {1970},
volume = {113},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1970_113_a4/}
}
G. S. Tseitin. The upper bounds of enumerable sets of constructive real numbers. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 5, Tome 113 (1970), pp. 102-172. http://geodesic.mathdoc.fr/item/TM_1970_113_a4/