# On recursive measure of classes of recursive sets

Commentationes Mathematicae Universitatis Carolinae (1982)

- Volume: 023, Issue: 1, page 117-121
- ISSN: 0010-2628

## Access Full Article

top## How to cite

topKučera, Antonín. "On recursive measure of classes of recursive sets." Commentationes Mathematicae Universitatis Carolinae 023.1 (1982): 117-121. <http://eudml.org/doc/17165>.

@article{Kučera1982,

author = {Kučera, Antonín},

journal = {Commentationes Mathematicae Universitatis Carolinae},

language = {eng},

number = {1},

pages = {117-121},

publisher = {Charles University in Prague, Faculty of Mathematics and Physics},

title = {On recursive measure of classes of recursive sets},

url = {http://eudml.org/doc/17165},

volume = {023},

year = {1982},

}

TY - JOUR

AU - Kučera, Antonín

TI - On recursive measure of classes of recursive sets

JO - Commentationes Mathematicae Universitatis Carolinae

PY - 1982

PB - Charles University in Prague, Faculty of Mathematics and Physics

VL - 023

IS - 1

SP - 117

EP - 121

LA - eng

UR - http://eudml.org/doc/17165

ER -

## References

top- O. DEMUTH, The Lebesgue measurability of sets in constructive mathematics, Comment. Math. Univ. Carolinae 10 (1969), 463-492 (in Russian). (1969) MR0259055
- O. DEMUTH A. KUČERA, Remarks on constructive mathematical analysis, Logic Colloquium '78 (Boffa, van Dalen, McAlcon editors), North-Holland, Amsterdam, 1979, 81-129. (1979) MR0567667
- R. M. FRIEDBERG, A criterion for completeness of degrees of unsolvability, J. Symbol. Logic 22 (1957), 159-160. (1957) Zbl0078.00602MR0098025
- C. G. JOCKUSCH, Degrees in which the recursive sets are uniformly recursive, Canad. J. Math. 24 (1972), 1092-1099. (1972) Zbl0221.02029MR0321716
- C. G. JOCKUSCH R. I. SCARE, ${\Pi}_{1}^{0}$ classes and degrees of theories, Trans. Amer. Math. Soc. 173 (1972), 33-56. (1972) MR0316227
- D. A. MARTIN, Classes of recursively enumerable sets and degrees of unsolvability, Z. Math. Logik Grundlagen Math. 12 (1966), 295-310. (1966) MR0224469
- H. ROGERS, Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967. (1967) Zbl0183.01401MR0224462
- I. D. ZASLAVSKIJ G. S. CEJTIN, On singular coverings and related properties of constructive functions, Trudy Mat. Inst. Steklov. 67 (1962), 458-502; English transl. Amer. rath. Soc. Transl. (2) 98 (1971), 41-89. (1962) MR0152428

## NotesEmbed ?

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