Reducibilities of sets based on constructive functions of a real variable

Osvald Demuth

Commentationes Mathematicae Universitatis Carolinae (1988)

  • Volume: 029, Issue: 1, page 143-156
  • ISSN: 0010-2628

How to cite

top

Demuth, Osvald. "Reducibilities of sets based on constructive functions of a real variable." Commentationes Mathematicae Universitatis Carolinae 029.1 (1988): 143-156. <http://eudml.org/doc/17604>.

@article{Demuth1988,
author = {Demuth, Osvald},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {reducibility; constructive functions},
language = {eng},
number = {1},
pages = {143-156},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Reducibilities of sets based on constructive functions of a real variable},
url = {http://eudml.org/doc/17604},
volume = {029},
year = {1988},
}

TY - JOUR
AU - Demuth, Osvald
TI - Reducibilities of sets based on constructive functions of a real variable
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1988
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 029
IS - 1
SP - 143
EP - 156
LA - eng
KW - reducibility; constructive functions
UR - http://eudml.org/doc/17604
ER -

References

top
  1. ROGERS H., Jr., Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967. (1967) Zbl0183.01401MR0224462
  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. (1962) MR0152426
  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. (1962) MR0153555
  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. (1962) MR0152428
  5. KURTZ S. A., Notions of weak genericity, J. Symbolic Logic 48 (1983), 764-770. (1983) Zbl0549.03042MR0716638
  6. ODIFREDDI P., Strong reducibilities, Bull. Amer. Math. Soc. 4 (1981), 37-86. (1981) Zbl0484.03024MR0590818
  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. (1978) MR0509638
  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. (1978) MR0509639
  9. DEMUTH O., On some classes of arithmetical real numbers, (Russian), Comment. Math. Univ. Carolinae 23 (1982), 453-465. (1982) Zbl0519.03046MR0677854
  10. DEMUTH O., On Borel types of some classes of arithmetical real numbers, (Russian), Comment. Math. Univ. Carolinae 23 (1982), 593-606. (1982) MR0677866
  11. DEMUTH O., A notion of semigenericity, Comment. Math. Univ. Carolinae 28 (1987), 71-84. (1987) Zbl0645.03040MR0889769
  12. DEMUTH O., KUČERA A., Remarks on 1-genericity, semigenericity and related concepts, Comment. Math. Univ. Carolinae 28 (1987), 85-94. (1987) MR0889770

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.