Demuth, O. On some classes of arithmetical real numbers. (Russian) Zbl 0519.03046 Commentat. Math. Univ. Carol. 23, 453-465 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 7 Documents MSC: 03F65 Other constructive mathematics 03F60 Constructive and recursive analysis Keywords:arithmetical real numbers; recursively enumerable sets of rational intervals PDF BibTeX XML Cite \textit{O. Demuth}, Commentat. Math. Univ. Carol. 23, 453--465 (1982; Zbl 0519.03046) Full Text: EuDML