Douglas Cenzer, Richard Krogman, Lecture Notes in Computer Science, 13137, Logical Foundations of Computer Science, 2022, 25
Nikolay Bazhenov, Manat Mustafa, “Computable embeddability for algebraic structures”, Asian-European J. Math., 15:07 (2022)
Matthew de Brecht, Takayuki Kihara, Victor Selivanov, Lecture Notes in Computer Science, 13359, Revolutions and Revelations in Computability, 2022, 88
Bazhenov N., Greenberg N., Melnikov A., Miller R., Ng K.M., “A Note on Computable Distinguishing Colorings”, Lobachevskii J. Math., 42:4, SI (2021), 693–700
M. I. Marchuk, “The Index Set of the Class of Autostable Ordered Abelian Groups”, Sib. Adv. Math., 31:1 (2021), 40
Quinn S.B., “Scott Sentences For Equivalence Structures”, Arch. Math. Log., 59:3-4 (2020), 453–460
М. И. Марчук, “Индексное множество автоустойчивых упорядоченных абелевых групп”, Матем. тр., 23:1 (2020), 169–176
N. Bazhenov, M. Marchuk, “A note on decidable categoricity and index sets”, Сиб. электрон. матем. изв., 17 (2020), 1013–1026
Harrison-Trainor M., Melnikov A., Ng K.M., “Computability of Polish Spaces Up to Homeomorphism”, J. Symb. Log., 85:4 (2020), 1664–1686
Bazhenov N. Fokina E. San Mauro L., “Learning Families of Algebraic Structures From Informant”, Inf. Comput., 275 (2020), 104590