| Title:
|
Remarks on the structure of tt-degrees based on constructive measure theory (English) |
| Author:
|
Demuth, Osvald |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
29 |
| Issue:
|
2 |
| Year:
|
1988 |
| Pages:
|
233-247 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03D25 |
| MSC:
|
03D30 |
| MSC:
|
03F65 |
| MSC:
|
28A05 |
| idZBL:
|
Zbl 0646.03039 |
| idMR:
|
MR957390 |
| . |
| Date available:
|
2008-06-05T21:33:13Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106631 |
| . |
| Reference:
|
[1] HALMOS P. R.: Measure Theory.London, 1966. |
| Reference:
|
[2] KUČERA A.: Measure,$\Pi_1^0$classes and complete extensions of PA.Lecture Notes in Math., vol. 1141, Springer-Verlag, Berlin 1985, 245-259. MR 0820784 |
| Reference:
|
[3] KURTZ S. A.: Notions of weak genericity.J. Symbolic Logic 48 (1983), 764-770. Zbl 0549.03042, MR 0716638 |
| Reference:
|
[4] LERMAN M.: Degrees of Unsolvability.Springer-Verlag, Berlin, 1983. Zbl 0542.03023, MR 0708718 |
| Reference:
|
[5] ROGERS H., Jr.: Theory of Recursive Functions and Effective Computability.McGraw-Hill, New York, 1967. Zbl 0183.01401, MR 0224462 |
| Reference:
|
[6] SACKS G. E.: Degrees of unsolvability.Annals of Mathematics Studies 55, Princeton University Press, Princeton, N.J., 1963. Zbl 0143.25302, MR 0186554 |
| Reference:
|
[7] ŠANIN N. A.: Constructive Real Numbers and Function Spaces.Trudy Mat. Inst. Steklov 67 (1962), 15-294; English transl., Transl. Math. Monographs, vol. 21, Amer. Math. Soc., Providence, R.I., 1968. MR 0156786 |
| Reference:
|
[8] ZASLAVSKIJ 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. Zbl 0192.06002, MR 0153555 |
| Reference:
|
[9] DEMUTH O.: On Lebesgue integration in constructive analysis.Thesis, Moscow State University, 1964 (Russian). MR 0175778 |
| Reference:
|
[10] DEMUTH O.: The Lebesgue integral and the concept of function measurability in constructive mathematics.Docent Thesis, Charles University, Prague, 1967 (Russian). |
| Reference:
|
[11] DEMUTH O., KUČERA A.: Remarks on constructive mathematical analysis.Logic Colloquium '78 (Boffa, van Dalen, McAloon ed.), North-Holland, Amsterdam, 81-129. MR 0567667 |
| Reference:
|
[12] DEMUTH O.: The Lebesgue measurability of sets in constructive mathematics.Comment. Math. Univ. Carolinae 10 (1969), 463-492 (Russian). MR 0259055 |
| Reference:
|
[13] DEMUTH O.: Constructive analogue of the connection between the Lebesgue measurability of sets and of functions.Comment. Math. Univ. Carolinae 14 (1973), 377-396 (Russian). MR 0328015 |
| Reference:
|
[14] DEMUTH O.: The constructive analogue of the Denjoy-Young theorem on derived numbers.Comment. Math. Univ. Carolinae 17 (1976), 111-126. MR 0403927 |
| Reference:
|
[15] DEMUTH O.: A constructive analogue of Garg's theorem on Dini derivatives.Comment. Math. Univ. Carolinae 21 (1980), 457-472 (Russian). |
| Reference:
|
[16] DEMUTH O.: On some classes of arithmetical real numbers.Comment. Math. Univ. Carolinae 23 (1982), 453-465 (Russian). Zbl 0519.03046, MR 0677854 |
| Reference:
|
[17] DEMUTH O.: On Borel types of some classes of arithmetical real numbers.Comment. Math. Univ. Carolinae 23 (1982), 593-606 (Russian). MR 0677866 |
| Reference:
|
[18] DEMUTH O.: On arithmetical complexity of differentiation in constructive mathematics.Comment. Math. Univ. Carolinae 24 (1983), 301-316 (Russian). MR 0711267 |
| Reference:
|
[19] DEMUTH O.: On pseudo-differentiability of pseudouniformly continuous constructive functions with respect to functions of the same type.Comment. Math. Univ. Carolinae 24 (1983), 391-406 (Russian). MR 0730135 |
| Reference:
|
[20] DEMUTH O.: A notion of semigenericity.Comment. Math. Univ. Carolinae 28 (1987), 71-84. Zbl 0645.03040, MR 0889769 |
| Reference:
|
[21] DEMUTH O., KUČERA A.: Remarks on 1-genericity, semigenericity and related concepts.Comment. Math. Univ. Carolinae 28 (1987), 85-94. MR 0889770 |
| Reference:
|
[22] DEMUTH O.: Reducibilities of sets based on constructive functions of a real variable.Comment. Math. Univ. Carolinae 29 (1988), 143-156. Zbl 0646.03038, MR 0937557 |
| . |
