On recursive measure of classes of recursive sets
Kučera, Antonín
Commentationes Mathematicae Universitatis Carolinae, Tome 023 (1982), p. 117-121 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1982-01-01
Classification:  03D25,  03D30,  03F60 
@article{106136,
     author = {Anton\'\i n Ku\v cera},
     title = {On recursive measure of classes of recursive sets},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {023},
     year = {1982},
     pages = {117-121},
     zbl = {0493.03035},
     mrnumber = {653355},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106136}
}

Kučera, Antonín. On recursive measure of classes of recursive sets. Commentationes Mathematicae Universitatis Carolinae, Tome 023 (1982) pp. 117-121. http://gdmltest.u-ga.fr/item/106136/

O. Demuth The Lebesgue measurability of sets in constructive mathematics, Comment. Math. Univ. Carolinae 10 (1969), 463-492 (in Russian). (1969) | MR 0259055

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) | MR 0567667

R. M. Friedberg A criterion for completeness of degrees of unsolvability, J. Symbol. Logic 22 (1957), 159-160. (1957) | MR 0098025 | Zbl 0078.00602

C. G. Jockusch Degrees in which the recursive sets are uniformly recursive, Canad. J. Math. 24 (1972), 1092-1099. (1972) | MR 0321716 | Zbl 0221.02029

C. G. Jockusch R. I. Scare $\Pi_1^0$ classes and degrees of theories, Trans. Amer. Math. Soc. 173 (1972), 33-56. (1972) | MR 0316227

D. A. Martin Classes of recursively enumerable sets and degrees of unsolvability, Z. Math. Logik Grundlagen Math. 12 (1966), 295-310. (1966) | MR 0224469

H. Rogers Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967. (1967) | MR 0224462 | Zbl 0183.01401

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) | MR 0152428