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

Statistics Math-Net.Ru
Total publications: 69
Scientific articles: 59
Presentations: 3

Number of views:
This page:3770
Abstract pages:12957
Full texts:3807
References:1143
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
2021
1. P. Koepke, A. S. Morozov, “Characterizations of ITBM-computability. II”, Algebra Logika, 60:1 (2021),  39–56  mathnet
2020
2. P. Koepke, A. S. Morozov, “Characterizations of ITBM-computability. I”, Algebra Logika, 59:6 (2020),  627–648  mathnet; Algebra and Logic, 59:6 (2021), 423–436  isi  scopus
3. A. S. Morozov, D. A. Tussupov, “Minimal predicates for $\Delta$-definability”, Algebra Logika, 59:4 (2020),  480–499  mathnet; Algebra and Logic, 59:4 (2020), 328–340  isi  scopus
4. 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; Algebra and Logic, 59:1 (2020), 18–32  isi  scopus
2019
5. A. S. Morozov, “$\Sigma$-preorderings in ${\mathbb{HF}(\mathbb{R})}$”, Algebra Logika, 58:5 (2019),  609–626  mathnet; Algebra and Logic, 58:5 (2019), 405–416  isi  scopus
6. R. M. Korotkova, O. V. Kudinov, A. S. Morozov, “О взаимной определимости операций над полями”, Sibirsk. Mat. Zh., 60:6 (2019),  1324–1334  mathnet
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. A. S. Morozov, A. Zh. Satekbaeva, D. A. Tussupov, “On the existential interpretability of structures”, Sib. Èlektron. Mat. Izv., 11 (2014),  557–566  mathnet
16. 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
17. 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
18. 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
19. 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
20. 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
21. 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
22. 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
23. 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
24. 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
25. 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
26. 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
27. 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
28. 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
29. 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
30. 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
31. 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
32. 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
33. 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
34. 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
35. 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
36. 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
37. 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
38. 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
39. 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
40. 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
41. 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
42. A. S. Morozov, “Endomorphisms of the group of all recursive permutations”, Algebra Logika, 36:1 (1997),  54–76  mathnet  mathscinet
43. 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
44. A. S. Morozov, “On automorphism groups of solvable models”, Algebra Logika, 34:4 (1995),  437–447  mathnet  mathscinet
1993
45. A. S. Morozov, “Functional trees and automorphisms of models”, Algebra Logika, 32:1 (1993),  54–72  mathnet  mathscinet
1990
46. A. S. Morozov, “Recursive automorphisms of atomic Boolean algebras”, Algebra Logika, 29:4 (1990),  464–490  mathnet  mathscinet
47. A. S. Morozov, “On a problem of Higman”, Algebra Logika, 29:1 (1990),  29–34  mathnet  mathscinet
1989
48. A. S. Morozov, “Rigid constructive modules”, Algebra Logika, 28:5 (1989),  570–583  mathnet  mathscinet
49. 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
50. 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
51. 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
52. A. S. Morozov, “Permutations and implicit definability”, Algebra Logika, 27:1 (1988),  19–36  mathnet  mathscinet
1987
53. 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
54. A. S. Morozov, “On a problem of Bergstra and Tiuryn”, Algebra Logika, 25:5 (1986),  566–583  mathnet  mathscinet
55. A. S. Morozov, “On computable groups of automorphisms of models”, Algebra Logika, 25:4 (1986),  415–424  mathnet  mathscinet
1985
56. 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
57. 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
58. 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
59. A. S. Morozov, “Groups of recursive automorphisms of constructive Boolean algebras”, Algebra Logika, 22:2 (1983),  138–158  mathnet  mathscinet
1982
60. A. S. Morozov, “Countable homogeneous Boolean algebras”, Algebra Logika, 21:3 (1982),  269–282  mathnet  mathscinet
61. A. S. Morozov, “Strong constructivizability of countable saturated Boolean algebras”, Algebra Logika, 21:2 (1982),  193–203  mathnet  mathscinet
62. 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
63. 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  mathscinet; Russian Math. Surveys, 75:3 (2020), 581–585  isi
2019
64. 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
65. 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
66. 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
67. 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
68. 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
69. 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
70. 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
71. 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
72. 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
Seminar of the Laboratory of Mathematical Logic (Saint Petersburg)
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