STEFFEN LEMPP, MIKHAIL PERETYAT'KIN, REED SOLOMON, “THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS”, J. Math. Log., 02:02 (2002), 145
S.S. Goncharov, “Decidable Boolean algebras of low level”, Annals of Pure and Applied Logic, 94:1-3 (1998), 75
Douglas Cenzer, Jeffrey B. Remmel, Studies in Logic and the Foundations of Mathematics, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, 381
M.G. Peretyat'kin, Studies in Logic and the Foundations of Mathematics, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, 347
Yu.L. Ershov, S.S. Goncharov, Studies in Logic and the Foundations of Mathematics, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, 115
Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel, Studies in Logic and the Foundations of Mathematics, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, vii
Douglas Cenzer, Rodney Downey, Carl Jockusch, Richard A. Shore, “Countable thin Π01 classes”, Annals of Pure and Applied Logic, 59:2 (1993), 79
Michael Moses, Logical Methods, 1993, 572
В. Н. Власов, С. С. Гончаров, “О сильной конструктивизируемости булевых алгебр элементарной характеристики $(1, 1, 0)$”, Алгебра и логика, 32:6 (1993), 618–630 ; V. N. Vlasov, S. S. Goncharov, “On the strong constructivizability of Boolean algebras of elementary characteristic $(1,1,0)$”, Algebra and Logic, –
С. С. Гончаров, “Эффективно бесконечные классы слабых конструктивизаций моделей”, Алгебра и логика, 32:6 (1993), 631–664 ; S. S. Goncharov, “Effectively infinite classes of weak constructivizations of models”, Algebra and Logic, –