Morozov Andrei Sergeevich

Statistics Math-Net.Ru
Total publications: 45
Scientific articles: 37

Number of views:
This page:2213
Abstract pages:8244
Full texts:2082
Doctor of physico-mathematical sciences


Computability and its relationship with definability, especially in the framework of admissible sets and model theory; admissible sets; groups of computable (definable) permutations; elementary theories of classes of groups; recursive model theory; Boolean algebras; theoretical computer science; computable topology.
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
1. A computably enumerable partial ordering without computably enumerable maximal chains and antichains
A. S. Morozov
Sibirsk. Mat. Zh., 59:3 (2018),  587–595
2. Nonpresentability of some structures of analysis in hereditarily finite superstructures
A. S. Morozov
Algebra Logika, 56:6 (2017),  691–711
3. The computational power of infinite time Blum–Shub–Smale machines
P. Koepke, A. S. Morozov
Algebra Logika, 56:1 (2017),  55–92
4. On some reducibility and existential interpretability of structures
A. S. Morozov
Sibirsk. Mat. Zh., 58:2 (2017),  365–374
5. A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
A. S. Morozov
Algebra Logika, 55:3 (2016),  366–379
6. Definability of linear orders over negative equivalences
N. Kh. Kasymov, A. S. Morozov
Algebra Logika, 55:1 (2016),  37–57
7. $\Sigma$-presentations of the ordering on the reals
A. S. Morozov
Algebra Logika, 53:3 (2014),  340–371
8. On the existential interpretability of structures
A. S. Morozov, A. Zh. Satekbaeva, D. A. Tussupov
Sib. Èlektron. Mat. Izv., 11 (2014),  557–566
9. On $\Sigma$-rigid presentations of the real order
A. S. Morozov
Sibirsk. Mat. Zh., 55:3 (2014),  562–572
10. Nonpresentability of the semigroup $\omega^\omega$ over $\mathbb{HF(R)}$
A. S. Morozov
Sibirsk. Mat. Zh., 55:1 (2014),  156–164
11. Some presentations of the real number field
A. S. Morozov
Algebra Logika, 51:1 (2012),  96–128
12. On some representations of the real number field
A. S. Morozov
Algebra Logika, 50:2 (2011),  270–271
13. Simple structures with complex symmetry
V. Harizanov, R. Miller, A. S. Morozov
Algebra Logika, 49:1 (2010),  98–134
14. On decidability of the decomposability problem for finite theories
A. S. Morozov, D. K. Ponomaryov
Sibirsk. Mat. Zh., 51:4 (2010),  838–847
15. On computable automorphisms in formal concept analysis
A. S. Morozov
Sibirsk. Mat. Zh., 51:2 (2010),  357–366
16. On effective presentations of formal concept lattices
A. S. Morozov
Sibirsk. Mat. Zh., 50:3 (2009),  603–620
17. $\Sigma$-Definability of countable structures over real numbers, complex numbers, and quaternions
A. S. Morozov, M. V. Korovina
Algebra Logika, 47:3 (2008),  335–363
18. Definable sets in automorphism groups of rational order
A. S. Morozov
Algebra Logika, 47:2 (2008),  215–239
19. On the index sets of $\Sigma$-subsets of the real numbers
A. S. Morozov
Sibirsk. Mat. Zh., 49:6 (2008),  1351–1360
20. The categoricity of the group of all computable automorphisms of the rational numbers
A. S. Morozov, J. K. Truss
Algebra Logika, 46:5 (2007),  649–662
21. On computable formal concepts in computable formal contexts
A. S. Morozov, M. A. L'vova
Sibirsk. Mat. Zh., 48:5 (2007),  1083–1092
22. Elementary submodels of parametrizable models
A. S. Morozov
Sibirsk. Mat. Zh., 47:3 (2006),  595–612
23. About the admissible predicates on admissible sets
A. S. Morozov
Sibirsk. Mat. Zh., 46:4 (2005),  841–850
24. On automorphic tuples of elements in computable models
S. S. Goncharov, V. S. Harizanova, J. F. Knight, A. S. Morozov, A. V. Romina
Sibirsk. Mat. Zh., 46:3 (2005),  523–532
25. $\Sigma$-Subsets of Natural Numbers
A. S. Morozov, V. G. Puzarenko
Algebra Logika, 43:3 (2004),  291–320
26. On homeomorphisms of effective topological spaces
A. S. Morozov
Sibirsk. Mat. Zh., 45:5 (2004),  1160–1177
27. On the relation of $\Sigma$-reducibility between admissible sets
A. S. Morozov
Sibirsk. Mat. Zh., 45:3 (2004),  634–652
28. Boolean algebras with finite families of computable automorphisms
A. S. Morozov, B. Kasymkanuly
Sibirsk. Mat. Zh., 45:1 (2004),  171–177
29. On the problem of finite signature
A. S. Morozov
Sibirsk. Mat. Zh., 44:1 (2003),  206–210
30. Presentability of Groups of $\Sigma$-Definable Permutations over Admissible Sets
A. S. Morozov
Algebra Logika, 41:4 (2002),  459–480
31. On a hierarchy of groups of computable automorphisms
A. S. Morozov, A. N. Duzykaeva
Sibirsk. Mat. Zh., 43:1 (2002),  155–160
32. Once again on the Higman question
A. S. Morozov
Algebra Logika, 39:2 (2000),  134–144
33. $\Sigma$-set of natural numbers not enumerable by natural numbers
A. S. Morozov
Sibirsk. Mat. Zh., 41:6 (2000),  1404–1408
34. Once more on countably categorical sentences
A. S. Morozov
Sibirsk. Mat. Zh., 40:2 (1999),  434–438
35. Turing reducibility as algebraic embeddability
A. S. Morozov
Sibirsk. Mat. Zh., 38:2 (1997),  362–364
36. Constructive boolean algebras with almost-identical automorphisms
A. S. Morozov
Mat. Zametki, 37:4 (1985),  478–482
37. Group $\mathrm{Aut}_r\langle Q,\le\rangle$ is not constructivizable
A. S. Morozov
Mat. Zametki, 36:4 (1984),  473–478

38. Yurii Leonidovich Ershov (on the occasion of his 75th birthday)
S. S. Goncharov, V. D. Mazurov, L. L. Maksimova, A. S. Morozov, E. P. Vdovin, A. V. Vasil'ev, E. A. Palyutin, A. A. Nikitin, M. V. Schwidefsky, L. A. Bokut', I. P. Shestakov, E. I. Khukhro
Sibirsk. Mat. Zh., 56:3 (2015),  477–480
39. Sergei Ilyich Mardaev (6.04.1962–10.04.2013)
P. E. Alaev, O. V. Bogopolski, A. V. Vasil'ev, S. S. Goncharov, Yu. L. Ershov, V. D. Mazurov, L. L. Maksimova, A. S. Morozov, S. P. Odintsov, D. E. Palchunov, V. G. Puzarenko, V. V. Rybakov, K. L. Rychkov, A. N. Ryaskin, I. A. Taimanov, A. S. Filyurin, D. G. Khramtsov, V. A. Churkin
Sib. Èlektron. Mat. Izv., 10 (2013),  30–34
40. Yurii Leonidovich Ershov (on his seventieth birthday)
A. A. Borovkov, S. K. Godunov, S. S. Goncharov, A. N. Konovalov, I. A. Lavrov, V. D. Mazurov, L. L. Maksimova, A. A. Mal'tsev, B. G. Mikhailenko, A. S. Morozov, A. A. Nikitin, E. A. Palyutin, Yu. G. Reshetnyak
Uspekhi Mat. Nauk, 66:1(397) (2011),  201–204
41. Sergei Savost'yanovich Goncharov (on the occasion of his 60th birthday)
Yu. L. Ershov, V. D. Mazurov, P. E. Alaev, L. L. Maksimova, A. S. Morozov, S. P. Odintsov, D. E. Pal'chunov, E. A. Palyutin, S. Yu. Podzorov
Sibirsk. Mat. Zh., 52:5 (2011),  959–961
42. Yurii Leonidovich Ershov (on his seventieth birthday)
S. S. Goncharov, A. G. Kusraev, S. S. Kutateladze, I. A. Lavrov, V. D. Mazurov, A. S. Morozov, M. V. Semenova
Vladikavkaz. Mat. Zh., 12:2 (2010),  75–78
43. 9th Asian Logic Conference, Novosibirsk, Russia, 16–19 August 2005
S. S. Goncharov, A. S. Morozov, S. P. Odintsov
Sib. Èlektron. Mat. Izv., 2 (2005),  10–11
44. Yuri Leonidovich Ershov (on his 60th birthday)
S. S. Goncharov, I. A. Lavrov, V. D. Mazurov, A. A. Mal'tsev, A. S. Morozov, A. A. Nikitin, E. A. Palyutin, D. M. Smirnov
Uspekhi Mat. Nauk, 55:6(336) (2000),  173–182
45. Yuriĭ Leonidovich Ershov (on the occasion of his sixtieth birthday)
S. S. Goncharov, I. A. Lavrov, V. D. Mazurov, A. A. Mal'tsev, A. A. Nikitin, A. S. Morozov, E. A. Palyutin, D. M. Smirnov
Vladikavkaz. Mat. Zh., 2:2 (2000),  3–9

Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019