an:04053595
Zbl 0646.03039
Demuth, Osvald
Remarks on the structure of tt-degrees based on constructive measure theory
EN
Commentat. Math. Univ. Carol. 29, No. 2, 233-247 (1988).
00168186
1988
j
03D30 28A05 03F65 03D25
T-reducibility; constructive function of a real variable; B- measurability; arithmetization of Lebesgue measurability of sets of reals; constructive measure theory; recursion theory; tt-reducibility
Based on some results in constructive measure theory, classes of sets of natural numbers being of some interest from the point of view of both constructive mathematics and recursion theory are introduced and possibility of mutual tt-reducibility of their members is studied and, moreover, an arithmetization of the Lebesgue measurability of sets of reals is proposed.