Oscar Levin, “Computable dimension for ordered fields”, Arch. Math. Logic, 55, № 3-4, 2016, 519
Ekaterina B. Fokina, Valentina Harizanov, Alexander Melnikov, Turing's Legacy, 2014, 124
Martino Lupini, Alexander Melnikov, Andre Nies, “Computable topological abelian groups”, Journal of Algebra, 615, 2023, 278
Matthew Harrison-Trainor, “Computable valued fields”, Arch. Math. Logic, 57, № 5-6, 2018, 473
Wesley Calvert, Douglas Cenzer, Valentina Harizanov, Andrei Morozov, “Effective categoricity of equivalence structures”, Annals of Pure and Applied Logic, 141, № 1-2, 2006, 61
Antonio Montalbán, Computable Structure Theory, 2021
Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu, 5028, Logic and Theory of Algorithms, 2008, 139
Nikolay Bazhenov, “Computable Heyting Algebras with Distinguished Atoms and Coatoms”, J of Log Lang and Inf, 32, № 1, 2023, 3
Denis Hirschfeldt, Ken Kramer, Russell Miller, Alexandra Shlapentokh, “Categoricity properties for computable algebraic fields”, Trans. Amer. Math. Soc., 367, № 6, 2014, 3981
N. A. Bazhenov, “Categoricity Spectra of Computable Structures”, J Math Sci, 256, № 1, 2021, 34