Andrei S. Morozov

According to our database, Andrei S. Morozov authored at least 21 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

On Cohesive powers of linear Orders.

Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev

J. Symb. Log., 2023

2022

Interpreting a field in its Heisenberg Group.

Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina S. Harizanov, Julia F. Knight, Russell G. Miller, Andrey S. Morozov, Alexandra A. Soskova, Rose Weisshaar

J. Symb. Log., 2022

On the isomorphism problem for some classes of computable algebraic structures.

Valentina S. Harizanov, Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon

Arch. Math. Log., 2022

2017

Computable Model Theory over the Reals.

Andrey S. Morozov

Proceedings of the Computability and Complexity, 2017

2016

Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra.

Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov

Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016

2012

Foreword.

Ulrich Berger, Vasco Brattka, Andrei S. Morozov, Dieter Spreen

Ann. Pure Appl. Log., 2012

2011

Editorial.

Andrei S. Morozov, Klaus W. Wagner

Theory Comput. Syst., 2011

2010

On computable presentations of some functional lattices.

Andrei S. Morozov

J. Log. Algebraic Methods Program., 2010

On Index Sets of Some Properties of Computable Algebras.

Bakhadyr Khoussainov, Andrei S. Morozov

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009

Preface.

Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei S. Morozov

Ann. Pure Appl. Log., 2009

Effective categoricity of Abelian p-groups.

Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov

Ann. Pure Appl. Log., 2009

2008

On sigma-definability without equality over the real numbers.

Andrei S. Morozov, Margarita V. Korovina

Math. Log. Q., 2008

Partial automorphism semigroups.

Jennifer Chubb, Valentina S. Harizanov, Andrei S. Morozov, Sarah Pingrey, Eric Ufferman

Ann. Pure Appl. Log., 2008

2007

Index sets for classes of high rank structures.

Wesley Calvert, Ekaterina B. Fokina, Sergei S. Goncharov, Julia F. Knight, Oleg V. Kudinov, Andrei S. Morozov, Vadim Puzarenko

J. Symb. Log., 2007

Remarks on Sigma-definability without the equality test over the Reals.

Andrei S. Morozov, Margarita V. Korovina

Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, 2007

2006

Effective categoricity of equivalence structures.

Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov

Ann. Pure Appl. Log., 2006

2005

Dependence relations in computably rigid computable vector spaces.

Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov

Ann. Pure Appl. Log., 2005

2002

Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order.

Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon

Order, 2002

Sequences of n-Diagrams.

Valentina S. Harizanov, Julia F. Knight, Andrei S. Morozov

J. Symb. Log., 2002

2001

On Computable Automorphisms of The Rational Numbers.

Andrei S. Morozov, John Kenneth Truss

J. Symb. Log., 2001

1988

Algebraic specified processes and enumerable models.

Andrei S. Morozov

Proceedings of the COLOG-88, 1988