В. Г. Пузаренко, “Об одной полурешетке нумераций”, Матем. тр., 12:2 (2009), 170–209 ; V. G. Puzarenko, “On a semilattice of numberings”, Siberian Adv. Math., 20:2 (2010), 128–154
А. Н. Хисамиев, “О $\Sigma$-подмножествах натуральных чисел над абелевыми группами”, Сиб. матем. журн., 47:3 (2006), 695–706 ; A. N. Khisamiev, “On $\Sigma$-subsets of naturals over abelian groups”, Siberian Math. J., 47:3 (2006), 574–583
В. Г. Пузаренко, “К вычислимости на специальных моделях”, Сиб. матем. журн., 46:1 (2005), 185–208 ; V. G. Puzarenko, “Computability in special models”, Siberian Math. J., 46:1 (2005), 148–165
А. Н. Хисамиев, “О верхней полурешетке Ершова $\mathfrak{L}_E$”, Сиб. матем. журн., 45:1 (2004), 211–228 ; A. N. Khisamiev, “On the Ershov upper semilattice $\mathfrak{L}_E$”, Siberian Math. J., 45:1 (2004), 173–187
А. С. Морозов, В. Г. Пузаренко, “О $\Sigma$-подмножествах натуральных чисел”, Алгебра и логика, 43:3 (2004), 291–320 ; A. S. Morozov, V. G. Puzarenko, “$\Sigma$-Subsets of Natural Numbers”, Algebra and Logic, 43:3 (2004), 162–178
И. Ш. Калимуллин, В. Г. Пузаренко, “О принципах вычислимости на допустимых множествах”, Матем. тр., 7:2 (2004), 35–71 ; I. Sh. Kalimullin, V. G. Puzarenko, “Computability Principles on Admissible Sets”, Siberian Adv. Math., 15:4 (2005), 1–33
В. Г. Пузаренко, “О теории моделей на наследственно конечных надстройках”, Алгебра и логика, 41:2 (2002), 199–222 ; V. G. Puzarenko, “Model Theory for Hereditarily Finite Superstructures”, Algebra and Logic, 41:2 (2002), 111–123
В. Г. Пузаренко, “О разрешимых вычислимых $\mathbb A$-нумерациях”, Алгебра и логика, 41:5 (2002), 568–584 ; V. G. Puzarenko, “Decidable Computable $\mathbb A$-Numberings”, Algebra and Logic, 41:5 (2002), 314–322