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, 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 ?
topYou 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.