Andrei S. Morozov

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 4

Top Topics

Algebraic Structures

Closed Form Solutions

Distributive Lattices

Top Venues

Arch. Math. Log.

Publications

Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
On Cohesive powers of linear Orders. J. Symb. Log. 88 (3) (2023)
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. Log. 61 (5-6) (2022)
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
Cohesive Powers of Linear Orders. CiE (2019)
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov
Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra. CiE (2016)
Ulrich Berger, Vasco Brattka, Andrei S. Morozov, Dieter Spreen
Foreword. Ann. Pure Appl. Log. 163 (8) (2012)
Andrei S. Morozov, Klaus W. Wagner
Editorial. Theory Comput. Syst. 49 (2) (2011)
Andrei S. Morozov
On computable presentations of some functional lattices. J. Log. Algebraic Methods Program. 79 (1) (2010)
Bakhadyr Khoussainov, Andrei S. Morozov
On Index Sets of Some Properties of Computable Algebras. CiE (2010)
Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei S. Morozov
Preface. Ann. Pure Appl. Log. 159 (3) (2009)
Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov
Effective categoricity of Abelian p-groups. Ann. Pure Appl. Log. 159 (1-2) (2009)
Andrei S. Morozov, Margarita V. Korovina
Remarks on Sigma-definability without the equality test over the Reals. Electron. Notes Theor. Comput. Sci. 202 (2008)
Jennifer Chubb, Valentina S. Harizanov, Andrei S. Morozov, Sarah Pingrey, Eric Ufferman
Partial automorphism semigroups. Ann. Pure Appl. Log. 156 (2-3) (2008)
Andrei S. Morozov, Margarita V. Korovina
On sigma-definability without equality over the real numbers. Math. Log. Q. 54 (5) (2008)
Wesley Calvert, Ekaterina B. Fokina, Sergei S. Goncharov, Julia F. Knight, Oleg V. Kudinov, Andrei S. Morozov, Vadim Puzarenko
Index sets for classes of high rank structures. J. Symb. Log. 72 (4) (2007)
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov
Effective categoricity of equivalence structures. Ann. Pure Appl. Log. 141 (1-2) (2006)
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov
Dependence relations in computably rigid computable vector spaces. Ann. Pure Appl. Log. 132 (1) (2005)
Valentina S. Harizanov, Julia F. Knight, Andrei S. Morozov
Sequences of n-Diagrams. J. Symb. Log. 67 (3) (2002)
Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon
Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order. Order 19 (4) (2002)
Andrei S. Morozov, John Kenneth Truss
On Computable Automorphisms of The Rational Numbers. J. Symb. Log. 66 (3) (2001)
Andrei S. Morozov
Algebraic specified processes and enumerable models. Conference on Computer Logic (1988)