Ч. Ф. Мак-Кой, “О $\Delta_3^0$-категоричности для линейных порядков и булевых алгебр”, Алгебра и логика, 41:5 (2002), 531–552 ; Ch. F. McCoy, “Partial Results in $\Delta_3^0$-Categoricity in Linear Orderings and Boolean Algebras”, Algebra and Logic, 41:5 (2002), 295–305
В. П. Добрица, “О вычислимости множества вычислимых индексаций класса конструктивных моделей”, Матем. заметки, 55:5 (1994), 43–50 ; V. P. Dobritsa, “Computability of the set of computable indexing schemes of the class of constructable models”, Math. Notes, 55:5 (1994), 466–470