Sergei S. Goncharov, International Mathematical Series, 5, Mathematical Problems from Applied Logic II, 2007, 99
С. Ю. Подзоров, “Вычислимые классы конструктивизаций $2$-конструктивизируемых моделей”, Алгебра и логика, 38:6 (1999), 697–722 ; S. Yu. Podzorov, “Computable classes of constructivizations of $2$-constructivizable models”, Algebra and Logic, –
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
S.S. Goncharov, Studies in Logic and the Foundations of Mathematics, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, 261
С. С. Гончаров, “Эффективно бесконечные классы слабых конструктивизаций моделей”, Алгебра и логика, 32:6 (1993), 631–664 ; S. S. Goncharov, “Effectively infinite classes of weak constructivizations of models”, Algebra and Logic, –