Н. А. Баженов, Е. Б. Фокина, Д. Россеггер, Л. Сан Мауро, “О вычислимой бивложимой категоричности”, Алгебра и логика, 57:5 (2018), 601–608 ; N. A. Bazhenov, E. B. Fokina, D. Rossegger, L. San Mauro, “Computable bi-embeddable categoricity”, Algebra and Logic, 57:5 (2018), 392–396
Н. А. Баженов, “Спектры категоричности вычислимых структур”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 42–58 ; N. A. Bazhenov, “Categoricity spectra of computable structures”, J. Math. Sci. (N. Y.), 256:1 (2021), 34–50
И. Ш. Калимуллин, В. Л. Селиванов, А. Н. Фролов, “Спектры степеней структур”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 158, ВИНИТИ РАН, М., 2018, 23–39 ; I. Sh. Kalimullin, V. L. Selivanov, A. N. Frolov, “Degree spectra of structures”, J. Math. Sci. (N. Y.), 256:2 (2021), 143–159
П. Е. Алаев, “Структуры, вычислимые за полиномиальное время. II”, Алгебра и логика, 56:6 (2017), 651–670 ; P. E. Alaev, “Structures computable in polynomial time. II”, Algebra and Logic, 56:6 (2018), 429–442
Н. А. Баженов, А. Н. Фролов, И. Ш. Калимуллин, А. Г. Мельников, “Вычислимость дистрибутивных решеток”, Сиб. матем. журн., 58:6 (2017), 1236–1251 ; N. A. Bazhenov, A. N. Frolov, I. Sh. Kalimullin, A. G. Melnikov, “Computability of distributive lattices”, Siberian Math. J., 58:6 (2017), 959–970
Н. А. Баженов, “О степенях автоустойчивости относительно сильных конструктивизаций для булевых алгебр”, Алгебра и логика, 55:2 (2016), 133–155 ; N. A. Bazhenov, “Degrees of autostability relative to strong constructivizations for Boolean algebras”, Algebra and Logic, 55:2 (2016), 87–102
Н. А. Баженов, “О степенях автоустойчивости для линейных порядков и линейно упорядоченных абелевых групп”, Алгебра и логика, 55:4 (2016), 393–418 ; N. A. Bazhenov, “Degrees of autostability for linear orderings and linearly ordered Abelian groups”, Algebra and Logic, 55:4 (2016), 257–273
Р. И. Бикмухаметов, “Начальные сегменты вычислимых линейных порядков с вычислимыми естественными отношениями”, Изв. вузов. Матем., 2016, № 6, 15–26 ; R. I. Bikmukhametov, “Initial segments of computable linear orders with computable natural relations”, Russian Math. (Iz. VUZ), 60:6 (2016), 12–20
Н. А. Баженов, “Теорема о ветвлении и вычислимая категоричность в иерархии Ершова”, Алгебра и логика, 54:2 (2015), 137–157 ; N. A. Bazhenov, “The branching theorem and computable categoricity in the Ershov hierarchy”, Algebra and Logic, 54:2 (2015), 91–104
Дж. Джонсон, Дж. Ф. Найт, В. Окасио, Д. Тусупов, С. ВанДенДрише, “О сохранении категоричности и сложности отношений”, Алгебра и логика, 54:2 (2015), 212–235 ; J. Johnson, J. F. Knight, V. Ocasio, J. Tussupov, S. VanDenDriessche, “Preserving categoricity and complexity of relations”, Algebra and Logic, 54:2 (2015), 140–154