RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Morozov, Andrei Sergeevich

Statistics Math-Net.Ru
Total publications: 67
Scientific articles: 57
Presentations: 3

Number of views:
This page:3579
Abstract pages:12583
Full texts:3694
References:1133
Professor
Doctor of physico-mathematical sciences
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Website: http://math.nsc.ru/~asm256

Subject:

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.


http://www.mathnet.ru/eng/person19694
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/190977

Publications in Math-Net.Ru
2020
1. A. S. Morozov, D. A. Tussupov, “Minimal predicates for $\Delta$-definability”, Algebra Logika, 59:4 (2020),  480–499  mathnet
2. R. D. Dimitrov, V. S. Harizanov, A. S. Morozov, “Turing degrees and automorphism groups of substructure lattices”, Algebra Logika, 59:1 (2020),  27–47  mathnet
2019
3. A. S. Morozov, “$\Sigma$-preorderings in ${\mathbb{HF}(\mathbb{R})}$”, Algebra Logika, 58:5 (2019),  609–626  mathnet
4. R. M. Korotkova, O. V. Kudinov, A. S. Morozov, “О взаимной определимости операций над полями”, Sibirsk. Mat. Zh., 60:6 (2019),  1324–1334  mathnet
5. B. Kasymkhanuly, A. S. Morozov, “On holographic structures”, Sibirsk. Mat. Zh., 60:2 (2019),  401–410  mathnet  elib; Siberian Math. J., 60:2 (2019), 312–318  isi  scopus
2018
6. A. S. Morozov, “A computably enumerable partial ordering without computably enumerable maximal chains and antichains”, Sibirsk. Mat. Zh., 59:3 (2018),  587–595  mathnet  elib; Siberian Math. J., 59:3 (2018), 463–469  isi  scopus
2017
7. A. S. Morozov, “Nonpresentability of some structures of analysis in hereditarily finite superstructures”, Algebra Logika, 56:6 (2017),  691–711  mathnet; Algebra and Logic, 56:6 (2018), 458–472  isi  scopus
8. P. Koepke, A. S. Morozov, “The computational power of infinite time Blum–Shub–Smale machines”, Algebra Logika, 56:1 (2017),  55–92  mathnet; Algebra and Logic, 56:1 (2017), 37–62  isi  scopus
9. A. S. Morozov, “On some reducibility and existential interpretability of structures”, Sibirsk. Mat. Zh., 58:2 (2017),  365–374  mathnet  elib; Siberian Math. J., 58:2 (2017), 281–287  isi  elib  scopus
2016
10. A. S. Morozov, “A sufficient condition for nonpresentability of structures in hereditarily finite superstructures”, Algebra Logika, 55:3 (2016),  366–379  mathnet; Algebra and Logic, 55:3 (2016), 242–251  isi  scopus
11. N. Kh. Kasymov, A. S. Morozov, “Definability of linear orders over negative equivalences”, Algebra Logika, 55:1 (2016),  37–57  mathnet  elib; Algebra and Logic, 55:1 (2016), 24–37  isi  scopus
2014
12. A. S. Morozov, “$\Sigma$-presentations of the ordering on the reals”, Algebra Logika, 53:3 (2014),  340–371  mathnet  mathscinet; Algebra and Logic, 53:3 (2014), 217–237  isi  scopus
13. A. S. Morozov, A. Zh. Satekbaeva, D. A. Tussupov, “On the existential interpretability of structures”, Sib. Èlektron. Mat. Izv., 11 (2014),  557–566  mathnet
14. A. S. Morozov, “On $\Sigma$-rigid presentations of the real order”, Sibirsk. Mat. Zh., 55:3 (2014),  562–572  mathnet  mathscinet  elib; Siberian Math. J., 55:3 (2014), 457–464  isi  elib  scopus
15. A. S. Morozov, “Nonpresentability of the semigroup $\omega^\omega$ over $\mathbb{HF(R)}$”, Sibirsk. Mat. Zh., 55:1 (2014),  156–164  mathnet  mathscinet; Siberian Math. J., 55:1 (2014), 125–131  isi  scopus
2012
16. A. S. Morozov, “Some presentations of the real number field”, Algebra Logika, 51:1 (2012),  96–128  mathnet  mathscinet  zmath; Algebra and Logic, 51:1 (2012), 66–88  isi  scopus
2011
17. A. S. Morozov, “On some representations of the real number field”, Algebra Logika, 50:2 (2011),  270–271  mathnet  zmath; Algebra and Logic, 50:2 (2011), 189–190  isi  scopus
2010
18. V. Harizanov, R. Miller, A. S. Morozov, “Simple structures with complex symmetry”, Algebra Logika, 49:1 (2010),  98–134  mathnet  mathscinet  zmath; Algebra and Logic, 49:1 (2010), 68–90  isi  scopus
19. A. S. Morozov, D. K. Ponomaryov, “On decidability of the decomposability problem for finite theories”, Sibirsk. Mat. Zh., 51:4 (2010),  838–847  mathnet  mathscinet; Siberian Math. J., 51:4 (2010), 667–674  isi  scopus
20. A. S. Morozov, “On computable automorphisms in formal concept analysis”, Sibirsk. Mat. Zh., 51:2 (2010),  357–366  mathnet  mathscinet; Siberian Math. J., 51:2 (2010), 289–295  isi  scopus
2009
21. A. S. Morozov, “On effective presentations of formal concept lattices”, Sibirsk. Mat. Zh., 50:3 (2009),  603–620  mathnet  mathscinet; Siberian Math. J., 50:3 (2009), 481–494  isi  scopus
2008
22. A. S. Morozov, M. V. Korovina, “$\Sigma$-Definability of countable structures over real numbers, complex numbers, and quaternions”, Algebra Logika, 47:3 (2008),  335–363  mathnet  mathscinet  zmath; Algebra and Logic, 47:3 (2008), 193–209  scopus
23. A. S. Morozov, “Definable sets in automorphism groups of rational order”, Algebra Logika, 47:2 (2008),  215–239  mathnet  mathscinet  zmath; Algebra and Logic, 47:2 (2008), 125–138  isi  scopus
24. A. S. Morozov, “On the index sets of $\Sigma$-subsets of the real numbers”, Sibirsk. Mat. Zh., 49:6 (2008),  1351–1360  mathnet  mathscinet; Siberian Math. J., 49:6 (2008), 1078–1084  isi  scopus
2007
25. A. S. Morozov, J. K. Truss, “The categoricity of the group of all computable automorphisms of the rational numbers”, Algebra Logika, 46:5 (2007),  649–662  mathnet  mathscinet  zmath; Algebra and Logic, 46:5 (2007), 354–361  isi  scopus
26. A. S. Morozov, M. A. L'vova, “On computable formal concepts in computable formal contexts”, Sibirsk. Mat. Zh., 48:5 (2007),  1083–1092  mathnet  mathscinet  zmath; Siberian Math. J., 48:5 (2007), 871–878  isi  scopus
2006
27. A. S. Morozov, “Elementary submodels of parametrizable models”, Sibirsk. Mat. Zh., 47:3 (2006),  595–612  mathnet  mathscinet  zmath; Siberian Math. J., 47:3 (2006), 491–504  isi  scopus
2005
28. A. S. Morozov, “About the admissible predicates on admissible sets”, Sibirsk. Mat. Zh., 46:4 (2005),  841–850  mathnet  mathscinet  zmath; Siberian Math. J., 46:4 (2005), 668–674  isi
29. S. S. Goncharov, V. S. Harizanova, J. F. Knight, A. S. Morozov, A. V. Romina, “On automorphic tuples of elements in computable models”, Sibirsk. Mat. Zh., 46:3 (2005),  523–532  mathnet  mathscinet; Siberian Math. J., 46:3 (2005), 405–412  isi
2004
30. A. S. Morozov, V. G. Puzarenko, “$\Sigma$-Subsets of Natural Numbers”, Algebra Logika, 43:3 (2004),  291–320  mathnet  mathscinet  zmath; Algebra and Logic, 43:3 (2004), 162–178  scopus
31. A. S. Morozov, “On homeomorphisms of effective topological spaces”, Sibirsk. Mat. Zh., 45:5 (2004),  1160–1177  mathnet  mathscinet; Siberian Math. J., 45:5 (2004), 956–968  isi
32. A. S. Morozov, “On the relation of $\Sigma$-reducibility between admissible sets”, Sibirsk. Mat. Zh., 45:3 (2004),  634–652  mathnet  mathscinet  zmath; Siberian Math. J., 45:3 (2004), 522–535  isi
33. A. S. Morozov, B. Kasymkanuly, “Boolean algebras with finite families of computable automorphisms”, Sibirsk. Mat. Zh., 45:1 (2004),  171–177  mathnet  mathscinet  zmath; Siberian Math. J., 45:1 (2004), 141–145  isi
2003
34. A. S. Morozov, “On the problem of finite signature”, Sibirsk. Mat. Zh., 44:1 (2003),  206–210  mathnet  mathscinet  zmath; Siberian Math. J., 44:1 (2003), 170–173  isi
2002
35. A. S. Morozov, “Presentability of Groups of $\Sigma$-Definable Permutations over Admissible Sets”, Algebra Logika, 41:4 (2002),  459–480  mathnet  mathscinet  zmath; Algebra and Logic, 41:4 (2002), 254–266  scopus
36. A. S. Morozov, A. N. Duzykaeva, “On a hierarchy of groups of computable automorphisms”, Sibirsk. Mat. Zh., 43:1 (2002),  155–160  mathnet  mathscinet  zmath; Siberian Math. J., 43:1 (2002), 124–127  isi
2000
37. A. S. Morozov, “Once again on the Higman question”, Algebra Logika, 39:2 (2000),  134–144  mathnet  mathscinet  zmath; Algebra and Logic, 39:2 (2000), 78–83  scopus
38. A. S. Morozov, “A $\Sigma$-set of natural numbers not enumerable by natural numbers”, Sibirsk. Mat. Zh., 41:6 (2000),  1404–1408  mathnet  mathscinet  zmath; Siberian Math. J., 41:6 (2000), 1162–1165  isi
1999
39. A. S. Morozov, “Once more on countably categorical sentences”, Sibirsk. Mat. Zh., 40:2 (1999),  434–438  mathnet  mathscinet  zmath; Siberian Math. J., 40:2 (1999), 374–377  isi
1997
40. A. S. Morozov, “Endomorphisms of the group of all recursive permutations”, Algebra Logika, 36:1 (1997),  54–76  mathnet  mathscinet
41. A. S. Morozov, “Turing reducibility as algebraic embeddability”, Sibirsk. Mat. Zh., 38:2 (1997),  362–364  mathnet  mathscinet  zmath; Siberian Math. J., 38:2 (1997), 312–313  isi
1995
42. A. S. Morozov, “On automorphism groups of solvable models”, Algebra Logika, 34:4 (1995),  437–447  mathnet  mathscinet
1993
43. A. S. Morozov, “Functional trees and automorphisms of models”, Algebra Logika, 32:1 (1993),  54–72  mathnet  mathscinet
1990
44. A. S. Morozov, “Recursive automorphisms of atomic Boolean algebras”, Algebra Logika, 29:4 (1990),  464–490  mathnet  mathscinet
45. A. S. Morozov, “On a problem of Higman”, Algebra Logika, 29:1 (1990),  29–34  mathnet  mathscinet
1989
46. A. S. Morozov, “Rigid constructive modules”, Algebra Logika, 28:5 (1989),  570–583  mathnet  mathscinet
47. A. S. Morozov, “Elementary properties of groups of recursive permutations”, Dokl. Akad. Nauk SSSR, 305:2 (1989),  274–276  mathnet  mathscinet  zmath; Dokl. Math., 39:2 (1989), 282–284
48. A. S. Morozov, “On theories of classes of groups of recursive permutations”, Trudy Inst. Mat. Sib. Otd. AN SSSR, 12 (1989),  91–104  mathnet  mathscinet  zmath
49. A. S. Morozov, “A countably categorical decidable model without nontrivial recursive automorphisms”, Sibirsk. Mat. Zh., 30:2 (1989),  221–224  mathnet  mathscinet  zmath; Siberian Math. J., 30:2 (1989), 346–348  isi
1988
50. A. S. Morozov, “Permutations and implicit definability”, Algebra Logika, 27:1 (1988),  19–36  mathnet  mathscinet
1987
51. A. S. Morozov, “On a class of recursively enumerable sets”, Sibirsk. Mat. Zh., 28:2 (1987),  124–128  mathnet  mathscinet  zmath; Siberian Math. J., 28:2 (1987), 278–282  isi
1986
52. A. S. Morozov, “On a problem of Bergstra and Tiuryn”, Algebra Logika, 25:5 (1986),  566–583  mathnet  mathscinet
53. A. S. Morozov, “On computable groups of automorphisms of models”, Algebra Logika, 25:4 (1986),  415–424  mathnet  mathscinet
1985
54. A. S. Morozov, “Constructive boolean algebras with almost-identical automorphisms”, Mat. Zametki, 37:4 (1985),  478–482  mathnet  mathscinet  zmath; Math. Notes, 37:4 (1985), 266–268  isi
55. A. S. Morozov, “Automorphisms of constructivizations of Boolean algebras”, Sibirsk. Mat. Zh., 26:4 (1985),  98–110  mathnet  mathscinet  zmath; Siberian Math. J., 26:4 (1985), 555–565  isi
1984
56. A. S. Morozov, “Group $\mathrm{Aut}_r\langle Q,\le\rangle$ is not constructivizable”, Mat. Zametki, 36:4 (1984),  473–478  mathnet  mathscinet  zmath; Math. Notes, 36:4 (1984), 733–736  isi
1983
57. A. S. Morozov, “Groups of recursive automorphisms of constructive Boolean algebras”, Algebra Logika, 22:2 (1983),  138–158  mathnet  mathscinet
1982
58. A. S. Morozov, “Countable homogeneous Boolean algebras”, Algebra Logika, 21:3 (1982),  269–282  mathnet  mathscinet
59. A. S. Morozov, “Strong constructivizability of countable saturated Boolean algebras”, Algebra Logika, 21:2 (1982),  193–203  mathnet  mathscinet
60. A. S. Morozov, “Decidability of theories of Boolean algebras with a distinguished ideal”, Sibirsk. Mat. Zh., 23:1 (1982),  199–201  mathnet  mathscinet  zmath

2020
61. L. D. Beklemishev, A. V. Vasil'ev, E. P. Vdovin, S. S. Goncharov, V. V. Kozlov, P. S. Kolesnikov, V. D. Mazurov, Yu. V. Matiyasevich, A. S. Morozov, A. N. Parshin, V. G. Puzarenko, M. V. Schwidefsky, “Yurii Leonidovich Ershov (on his 80th birthday)”, Uspekhi Mat. Nauk, 75:3(453) (2020),  191–194  mathnet; Russian Math. Surveys, 75:3 (2020), 581–585  isi
2019
62. Yu. L. Ershov, S. S. Goncharov, V. D. Mazurov, B. S. Baizhanov, B. Sh. Kulpeshov, P. E. Alaev, A. V. Vasil'ev, E. V. Vasil'ev, E. P. Vdovin, V. V. Verbovskii, A. A. Vikent'ev, D. Yu. Vlasov, M. A. Grechkoseeva, V. N. Zhelyabin, P. S. Kolesnikov, V. M. Kopytov, L. L. Maksimova, I. A. Mal'tsev, A. S. Morozov, A. A. Nikitin, E. V. Ovchinnikova, S. P. Odintsov, D. E. Pal'chunov, N. A. Peryazev, A. G. Pinus, L. N. Pobedin, A. P. Pozhidaev, B. Poizat, V. G. Puzarenko, D. O. Revin, V. N. Remeslennikov, N. S. Romanovskii, A. N. Ryaskin, S. S. Starchenko, A. A. Stepanova, S. V. Sudoplatov, E. I. Timoshenko, D. A. Tusupov, N. G. Khisamiev, V. A. Churkin, Z. Chatzidakis, M. V. Schwidefsky, K. M. Shegirov, I. P. Shestakov, “Evgenii Andreevich Palyutin (1945–2018)”, Sib. Èlektron. Mat. Izv., 16 (2019),  1–10  mathnet
2015
63. 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, “Yurii Leonidovich Ershov (on the occasion of his 75th birthday)”, Sibirsk. Mat. Zh., 56:3 (2015),  477–480  mathnet  mathscinet
2013
64. 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, “Sergei Ilyich Mardaev (6.04.1962–10.04.2013)”, Sib. Èlektron. Mat. Izv., 10 (2013),  30–34  mathnet
2011
65. 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, “Yurii Leonidovich Ershov (on his seventieth birthday)”, Uspekhi Mat. Nauk, 66:1(397) (2011),  201–204  mathnet  mathscinet  zmath  elib; Russian Math. Surveys, 66:1 (2011), 199–203  isi
66. 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, “Sergei Savost'yanovich Goncharov (on the occasion of his 60th birthday)”, Sibirsk. Mat. Zh., 52:5 (2011),  959–961  mathnet  mathscinet
2010
67. S. S. Goncharov, A. G. Kusraev, S. S. Kutateladze, I. A. Lavrov, V. D. Mazurov, A. S. Morozov, M. V. Semenova, “Yurii Leonidovich Ershov (on his seventieth birthday)”, Vladikavkaz. Mat. Zh., 12:2 (2010),  75–78  mathnet
2005
68. S. S. Goncharov, A. S. Morozov, S. P. Odintsov, “9th Asian Logic Conference, Novosibirsk, Russia, 16–19 August 2005”, Sib. Èlektron. Mat. Izv., 2 (2005),  10–11  mathnet  zmath
2000
69. 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, “Yuri Leonidovich Ershov (on his 60th birthday)”, Uspekhi Mat. Nauk, 55:6(336) (2000),  173–182  mathnet  mathscinet  zmath; Russian Math. Surveys, 55:6 (2000), 1193–1204  isi
70. 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, “Yuriĭ Leonidovich Ershov (on the occasion of his sixtieth birthday)”, Vladikavkaz. Mat. Zh., 2:2 (2000),  3–9  mathnet  mathscinet  zmath

Presentations in Math-Net.Ru
1. О $\Sigma$-определимых структурах в $\mathbb{HF} ( \mathbb{R} )$
A. S. Morozov
St. Petersburg Logic seminar
May 19, 2020 18:30   
2. Об отделимых алгоритмических представлениях подпрямо неразложимых алгебр
N. Kh. Kasymov, A. S. Morozov, I. A. Khodzhamuratova
Functional analysis and its applications
May 7, 2020 17:00
3. On $\Sigma$-preorderings in $HF(\mathbb{R})$
A. S. Morozov
International workshop "Syntax and semantics of logical systems"
August 12, 2019 11:10

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