| Title:
|
Reducibilities of sets based on constructive functions of a real variable (English) |
| Author:
|
Demuth, Osvald |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
29 |
| Issue:
|
1 |
| Year:
|
1988 |
| Pages:
|
143-156 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03D30 |
| MSC:
|
03F65 |
| idZBL:
|
Zbl 0646.03038 |
| idMR:
|
MR937557 |
| . |
| Date available:
|
2008-06-05T21:32:00Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106605 |
| . |
| Reference:
|
[1] ROGERS H., Jr.: Theory of recursive functions and effective computability.McGraw-Hill, New York, 1967. Zbl 0183.01401, MR 0224462 |
| Reference:
|
[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 0152426 |
| Reference:
|
[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 0153555 |
| Reference:
|
[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 0152428 |
| Reference:
|
[5] KURTZ S. A.: Notions of weak genericity.J. Symbolic Logic 48 (1983), 764-770. Zbl 0549.03042, MR 0716638 |
| Reference:
|
[6] ODIFREDDI P.: Strong reducibilities.Bull. Amer. Math. Soc. 4 (1981), 37-86. Zbl 0484.03024, MR 0590818 |
| Reference:
|
[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 0509638 |
| Reference:
|
[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 0509639 |
| Reference:
|
[9] DEMUTH O.: On some classes of arithmetical real numbers.(Russian), Comment. Math. Univ. Carolinae 23 (1982), 453-465. Zbl 0519.03046, MR 0677854 |
| Reference:
|
[10] DEMUTH O.: On Borel types of some classes of arithmetical real numbers.(Russian), Comment. Math. Univ. Carolinae 23 (1982), 593-606. MR 0677866 |
| Reference:
|
[11] DEMUTH O.: A notion of semigenericity.Comment. Math. Univ. Carolinae 28 (1987), 71-84. Zbl 0645.03040, MR 0889769 |
| Reference:
|
[12] DEMUTH O., KUČERA A.: Remarks on 1-genericity, semigenericity and related concepts.Comment. Math. Univ. Carolinae 28 (1987), 85-94. MR 0889770 |
| . |
