7 citations to https://www.mathnet.ru/rus/smj984
-
Valentina S. Harizanov, Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon, “On the isomorphism problem for some classes of computable algebraic structures”, Arch. Math. Logic, 61:5-6 (2022), 813
-
Р. Д. Димитров, В. С. Харизанова, А. С. Морозов, “Тьюринговы степени и группы автоморфизмов решёток подструктур”, Алгебра и логика, 59:1 (2020), 27–47 ; R. D. Dimitrov, V. S. Harizanov, A. S. Morozov, “Turing degrees and automorphism groups of substructure lattices”, Algebra and Logic, 59:1 (2020), 18–32
-
Dimitrov R., Harizanov V., Morozov A., “Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra”: Jonoska, N, Pursuit of the Universal, Lecture Notes in Computer Science, 9709, eds. Beckmann A., Bienvenu L., Springer Int Publishing Ag, 2016, 251–260
-
Montalban A., “a Robuster Scott Rank”, Proc. Amer. Math. Soc., 143:12 (2015), 5427–5436
-
Fokina E.B. Harizanov V. Melnikov A., “Computable Model Theory”, Turing'S Legacy: Developments From Turing'S Ideas in Logic, Lecture Notes in Logic, 42, ed. Downey R., Cambridge Univ Press, 2014, 124–194
-
Ekaterina B. Fokina, Valentina Harizanov, Alexander Melnikov, Turing's Legacy, 2014, 124
-
Sergei S. Goncharov, International Mathematical Series, 5, Mathematical Problems from Applied Logic II, 2007, 99