Yu. G. Reshetnyak, Encyclopaedia of Mathematical Sciences, 70, Geometry IV, 1993, 3
Douglas Cenzer, Jeffrey Remmel, “Polynomial-time versus recursive models”, Annals of Pure and Applied Logic, 54:1 (1991), 17
Rodney G. Downey, Michael F. Moses, “Recursive linear orders with incomplete successivities”, Trans. Amer. Math. Soc., 326:2 (1991), 653
С. П. Одинцов, В. Л. Селиванов, “Арифметическая иерархия и идеалы нумерованных булевых алгебр”, Сиб. матем. журн., 30:6 (1989), 140–149 ; S. P. Odintsov, V. L. Selivanov, “The arithmetical hierarchy and ideals of enumerated Boolean algebras”, Siberian Math. J., 30:6 (1989), 952–960
В. Д. Дзгоев, “О конструктивных булевых алгебрах”, Матем. заметки, 44:6 (1988), 750–757 ; V. D. Dzgoev, “Constructive Boolean algebras”, Math. Notes, 44:6 (1988), 896–901
С. П. Одинцов, “О рекурсивных булевых алгебрах с гипергипериммунным множеством атомов”, Матем. заметки, 44:4 (1988), 488–493 ; S. P. Odintsov, “Recursive Boolean algebras with a hyperhyperimmune set of atoms”, Math. Notes, 44:4 (1988), 747–749
В. Д. Дзгоев, “О конструктивизации булевых решеток”, Алгебра и логика, 27:6 (1988), 641–648 ; V. D. Dzgoev, “Constructivization of Boolean lattices”, Algebra and Logic, –
S. P. Odintsov, “Lattice of recursively enumerable subalgebras of a recursive boolean algebra”, Algebra and Logic, 25:6 (1986), 397
S. P. Odintsov, “Atom-free ideals of constructive boolean algebras”, Algebra and Logic, 23:3 (1984), 190
С. С. Гончаров, “Универсальные рекурсивно перечислимые булевы алгебры”, Сиб. матем. журн., 24:6 (1983), 36–43 ; S. S. Goncharov, Siberian Math. J., 24:6 (1983), 852–858