| Title:
|
On recursive measure of classes of recursive sets (English) |
| Author:
|
Kučera, Antonín |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
23 |
| Issue:
|
1 |
| Year:
|
1982 |
| Pages:
|
117-121 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03D25 |
| MSC:
|
03D30 |
| MSC:
|
03F60 |
| idZBL:
|
Zbl 0493.03035 |
| idMR:
|
MR653355 |
| . |
| Date available:
|
2008-06-05T21:10:51Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106136 |
| . |
| Reference:
|
[1] O. DEMUTH: The Lebesgue measurability of sets in constructive mathematics.Comment. Math. Univ. Carolinae 10 (1969), 463-492 (in Russian). MR 0259055 |
| Reference:
|
[2] O. DEMUTH A. KUČERA: Remarks on constructive mathematical analysis.Logic Colloquium '78 (Boffa, van Dalen, McAlcon editors), North-Holland, Amsterdam, 1979, 81-129. MR 0567667 |
| Reference:
|
[3] R. M. FRIEDBERG: A criterion for completeness of degrees of unsolvability.J. Symbol. Logic 22 (1957), 159-160. Zbl 0078.00602, MR 0098025 |
| Reference:
|
[4] C. G. JOCKUSCH: Degrees in which the recursive sets are uniformly recursive.Canad. J. Math. 24 (1972), 1092-1099. Zbl 0221.02029, MR 0321716 |
| Reference:
|
[5] C. G. JOCKUSCH R. I. SCARE: $\Pi_1^0$ classes and degrees of theories.Trans. Amer. Math. Soc. 173 (1972), 33-56. MR 0316227 |
| Reference:
|
[6] D. A. MARTIN: Classes of recursively enumerable sets and degrees of unsolvability.Z. Math. Logik Grundlagen Math. 12 (1966), 295-310. MR 0224469 |
| Reference:
|
[7] H. ROGERS: Theory of recursive functions and effective computability.McGraw-Hill, New York, 1967. Zbl 0183.01401, MR 0224462 |
| Reference:
|
[8] 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. MR 0152428 |
| . |
