Remarks on the structure of tt-degrees based on constructive measure theory
Demuth, Osvald
Commentationes Mathematicae Universitatis Carolinae, Tome 029 (1988), p. 233-247 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1988-01-01
Classification:  03D25,  03D30,  03F65,  28A05 
@article{106631,
     author = {Osvald Demuth},
     title = {Remarks on the structure of tt-degrees based on constructive measure theory},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {029},
     year = {1988},
     pages = {233-247},
     zbl = {0646.03039},
     mrnumber = {957390},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106631}
}

Demuth, Osvald. Remarks on the structure of tt-degrees based on constructive measure theory. Commentationes Mathematicae Universitatis Carolinae, Tome 029 (1988) pp. 233-247. http://gdmltest.u-ga.fr/item/106631/

Halmos P. R. Measure Theory, London, 1966. (1966)

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. (1985) | MR 0820784

Kurtz S. A. Notions of weak genericity, J. Symbolic Logic 48 (1983), 764-770. (1983) | MR 0716638 | Zbl 0549.03042

Lerman M. Degrees of Unsolvability, Springer-Verlag, Berlin, 1983. (1983) | MR 0708718 | Zbl 0542.03023

Rogers H., Jr. Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York, 1967. (1967) | MR 0224462 | Zbl 0183.01401

Sacks G. E. Degrees of unsolvability, Annals of Mathematics Studies 55, Princeton University Press, Princeton, N.J., 1963. (1963) | MR 0186554 | Zbl 0143.25302

Š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. (1962) | MR 0156786

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. (1962) | MR 0153555 | Zbl 0192.06002

Demuth O. On Lebesgue integration in constructive analysis, Thesis, Moscow State University, 1964 (Russian). (1964) | MR 0175778

Demuth O. The Lebesgue integral and the concept of function measurability in constructive mathematics, Docent Thesis, Charles University, Prague, 1967 (Russian). (1967)

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

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

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). (1973) | MR 0328015

Demuth O. The constructive analogue of the Denjoy-Young theorem on derived numbers, Comment. Math. Univ. Carolinae 17 (1976), 111-126. (1976) | MR 0403927

Demuth O. A constructive analogue of Garg's theorem on Dini derivatives, Comment. Math. Univ. Carolinae 21 (1980), 457-472 (Russian). (1980)

Demuth O. On some classes of arithmetical real numbers, Comment. Math. Univ. Carolinae 23 (1982), 453-465 (Russian). (1982) | MR 0677854 | Zbl 0519.03046

Demuth O. On Borel types of some classes of arithmetical real numbers, Comment. Math. Univ. Carolinae 23 (1982), 593-606 (Russian). (1982) | MR 0677866

Demuth O. On arithmetical complexity of differentiation in constructive mathematics, Comment. Math. Univ. Carolinae 24 (1983), 301-316 (Russian). (1983) | MR 0711267

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). (1983) | MR 0730135

Demuth O. A notion of semigenericity, Comment. Math. Univ. Carolinae 28 (1987), 71-84. (1987) | MR 0889769 | Zbl 0645.03040

Demuth O.; Kučera A. Remarks on 1-genericity, semigenericity and related concepts, Comment. Math. Univ. Carolinae 28 (1987), 85-94. (1987) | MR 0889770

Demuth O. Reducibilities of sets based on constructive functions of a real variable, Comment. Math. Univ. Carolinae 29 (1988), 143-156. (1988) | MR 0937557 | Zbl 0646.03038