[1] JOCKUSCH C. G., Jr., SOARE R. I.: $\Pi_1^0$ classes and degrees of theories. Trans. Amer. Math. Soc. 173 (1972), 33-56. MR 0316227

[2] JOCKUSCH C. G., Jr., SOARE R. I.: Degrees of members of $\Pi_1^0$ classes. Pacific J. Math. 40 (1972), 605-616. MR 0309722

[3] 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

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

[5] MARTIN-LÖF P.: Notes on Constructive Mathematics. Almquist & Wiksell, Stockholm, 1970. MR 0485251

[6] MILLER W., MARTIN D. A.: The degrees of hyperimmune sets. Z. f. Math. Logik Grundlagen Math. 14 (1968), 159-166. MR 0228341 | Zbl 0216.29102

[7] ODIFREDDI P.: Strong reducibilities. Bull. Amer. Math. Soc. 4 (1981), 37-86. MR 0590818 | Zbl 0484.03024

[8] ROGERS H., Jr.: Theory of recursive functions and effective computability. McGraw-Hill, New York, 1967. MR 0224462 | Zbl 0183.01401

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

[10] DEMUTH O.: O konstruktivných psevdočislach. Comment. Math. Univ. Carolinae 16 (1975), 315-331. MR 0381955

[11] DEMUTH O.: Oněkotorych klassach arifmetičeskich dějstvitěl'nych čišel. Comment. Math. Univ. Carolinae 23 (1982), 453-465.

[12] JOCKUSCH C. G., Jr., SIMPSON S. G.: Minimal degrees, hyperimmune degrees, and complete extensions of arithmetic. Preliminary report 781-810, Abstracts of Amer. Math. Society, 1980, vol. 1, number 6, p. 546.

[13] CEĬTIN G. S.: On upper bounds of recursively enumerable sets of constructive real numbers. Proc. Steklov Inst. Math. 113 (1970), 119-194, published by Amer. Math. Soc., Providence, 1972. MR 0321710

[14] KUŠNER B. A.: Coverings of separable sets. in: Issledovanija po teorii algorifmov i mat. logike, vol. 1, Vyč. Centr AN SSSR, 1974, 235-246 (Russian). MR 0337534