[1] HALMOS P. R.: Measure Theory. London, 1966.

[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

[3] KURTZ S. A.: Notions of weak genericity. J. Symbolic Logic 48 (1983), 764-770. MR 0716638 | Zbl 0549.03042

[4] LERMAN M.: Degrees of Unsolvability. Springer-Verlag, Berlin, 1983. MR 0708718 | Zbl 0542.03023

[5] ROGERS H., Jr.: Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York, 1967. MR 0224462 | Zbl 0183.01401

[6] SACKS G. E.: Degrees of unsolvability. Annals of Mathematics Studies 55, Princeton University Press, Princeton, N.J., 1963. MR 0186554 | Zbl 0143.25302

[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

[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. MR 0153555 | Zbl 0192.06002

[9] DEMUTH O.: On Lebesgue integration in constructive analysis. Thesis, Moscow State University, 1964 (Russian). MR 0175778

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

[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

[12] DEMUTH O.: The Lebesgue measurability of sets in constructive mathematics. Comment. Math. Univ. Carolinae 10 (1969), 463-492 (Russian). MR 0259055

[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

[14] DEMUTH O.: The constructive analogue of the Denjoy-Young theorem on derived numbers. Comment. Math. Univ. Carolinae 17 (1976), 111-126. MR 0403927

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

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

[17] DEMUTH O.: On Borel types of some classes of arithmetical real numbers. Comment. Math. Univ. Carolinae 23 (1982), 593-606 (Russian). MR 0677866

[18] DEMUTH O.: On arithmetical complexity of differentiation in constructive mathematics. Comment. Math. Univ. Carolinae 24 (1983), 301-316 (Russian). MR 0711267

[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

[20] DEMUTH O.: A notion of semigenericity. Comment. Math. Univ. Carolinae 28 (1987), 71-84. MR 0889769 | Zbl 0645.03040

[21] DEMUTH O., KUČERA A.: Remarks on 1-genericity, semigenericity and related concepts. Comment. Math. Univ. Carolinae 28 (1987), 85-94. MR 0889770

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