Reducibilities of sets based on constructive functions of a real variable
Demuth, Osvald
Commentationes Mathematicae Universitatis Carolinae, Tome 029 (1988), p. 143-156 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1988-01-01
Classification:  03D30,  03F65 
@article{106605,
     author = {Osvald Demuth},
     title = {Reducibilities of sets based on constructive functions of a real variable},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {029},
     year = {1988},
     pages = {143-156},
     zbl = {0646.03038},
     mrnumber = {937557},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106605}
}

Demuth, Osvald. Reducibilities of sets based on constructive functions of a real variable. Commentationes Mathematicae Universitatis Carolinae, Tome 029 (1988) pp. 143-156. http://gdmltest.u-ga.fr/item/106605/

Rogers H., Jr. Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967. (1967) | MR 0224462 | Zbl 0183.01401

Ceĭtin G. S. Algorithmic operators in constructive metric spaces, Trudy Mat. Inst. Steklov 67 (1962), 295-361; English transl. Amer. Math. Soc. Transl. (2) 64 (1967), 1-80. (1962) | MR 0152426

Zaslavskiĭ I. D. Some properties of constructive real numbers and constructive functions, Trudy Mat. Inst. Steklov 67 (1962), 385-457; English transl. Amer. Math. Soc. Transl. (2) 57 (1966), 1-84. (1962) | MR 0153555

Zaslavskiĭ I. D.; Ceĭtin G. S. On singular coverings and related properties of constructive functions, Trudy Mat. Inst. Steklov 67 (1962), 458-502; English transl. Amer. Math. Soc. Transl. (2) 98 (1971), 41-89. (1962) | MR 0152428

Kurtz S. A. Notions of weak genericity, J. Symbolic Logic 48 (1983), 764-770. (1983) | MR 0716638 | Zbl 0549.03042

Odifreddi P. Strong reducibilities, Bull. Amer. Math. Soc. 4 (1981), 37-86. (1981) | MR 0590818 | Zbl 0484.03024

Demuth O.; Kryl R.; Kučera A. An application of the theory of functions partial recursive relative to number sets in constructive mathematics, (Russian), Acta Univ. Carolinae - Math, et Phys. 19 (1978), 15-60. (1978) | MR 0509638

Demuth O. Some questions in the theory of constructive functions of a real variable, (Russian), Acta Univ. Carolinae - Math, et Phys. 19 (1978), 61-96. (1978) | MR 0509639

Demuth O. On some classes of arithmetical real numbers, (Russian), Comment. Math. Univ. Carolinae 23 (1982), 453-465. (1982) | MR 0677854 | Zbl 0519.03046

Demuth O. On Borel types of some classes of arithmetical real numbers, (Russian), Comment. Math. Univ. Carolinae 23 (1982), 593-606. (1982) | MR 0677866

Demuth O. A notion of semigenericity, Comment. Math. Univ. Carolinae 28 (1987), 71-84. (1987) | MR 0889769 | Zbl 0645.03040

Demuth O.; Kučera A. Remarks on 1-genericity, semigenericity and related concepts, Comment. Math. Univ. Carolinae 28 (1987), 85-94. (1987) | MR 0889770