Geodesic
Reducibilities of sets based on constructive functions of a real variable
Commentationes Mathematicae Universitatis Carolinae, Tome 29 (1988) no. 1, pp. 143-156
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03D30, 03F65 
@article{CMUC_1988_29_1_a13,
     author = {Demuth, Osvald},
     title = {Reducibilities of sets based on constructive functions of a real variable},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {143--156},
     year = {1988},
     volume = {29},
     number = {1},
     mrnumber = {937557},
     zbl = {0646.03038},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1988_29_1_a13/}
}
TY  - JOUR
AU  - Demuth, Osvald
TI  - Reducibilities of sets based on constructive functions of a real variable
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1988
SP  - 143
EP  - 156
VL  - 29
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_1988_29_1_a13/
LA  - en
ID  - CMUC_1988_29_1_a13
ER  - 
%0 Journal Article
%A Demuth, Osvald
%T Reducibilities of sets based on constructive functions of a real variable
%J Commentationes Mathematicae Universitatis Carolinae
%D 1988
%P 143-156
%V 29
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_1988_29_1_a13/
%G en
%F CMUC_1988_29_1_a13
Demuth, Osvald. Reducibilities of sets based on constructive functions of a real variable. Commentationes Mathematicae Universitatis Carolinae, Tome 29 (1988) no. 1, pp. 143-156. http://geodesic.mathdoc.fr/item/CMUC_1988_29_1_a13/

[1] ROGERS H., Jr.: Theory of recursive functions and effective computability. McGraw-Hill, New York, 1967. | MR | Zbl

[2] 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. | MR

[3] 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. | MR

[4] 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. | MR

[5] KURTZ S. A.: Notions of weak genericity. J. Symbolic Logic 48 (1983), 764-770. | MR | Zbl

[6] ODIFREDDI P.: Strong reducibilities. Bull. Amer. Math. Soc. 4 (1981), 37-86. | MR | Zbl

[7] 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. | MR

[8] 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. | MR

[9] DEMUTH O.: On some classes of arithmetical real numbers. (Russian), Comment. Math. Univ. Carolinae 23 (1982), 453-465. | MR | Zbl

[10] DEMUTH O.: On Borel types of some classes of arithmetical real numbers. (Russian), Comment. Math. Univ. Carolinae 23 (1982), 593-606. | MR

[11] DEMUTH O.: A notion of semigenericity. Comment. Math. Univ. Carolinae 28 (1987), 71-84. | MR | Zbl

[12] DEMUTH O., KUČERA A.: Remarks on 1-genericity, semigenericity and related concepts. Comment. Math. Univ. Carolinae 28 (1987), 85-94. | MR