Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Morozov, Andrei Sergeevich
Statistics Math-Net.Ru
Total publications: 79
Scientific articles: 68
Presentations: 5

Number of views:
This page:5895
Abstract pages:22712
Full texts:6930
References:2317
Professor
Doctor of physico-mathematical sciences
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Website: https://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.

https://www.mathnet.ru/eng/person19694
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/190977
https://orcid.org/0000-0001-8647-5629

Publications in Math-Net.Ru Citations
2024
1. A. S. Morozov, “Turing spectra of the automorphism groups of the order on the rationals”, Sibirsk. Mat. Zh., 65:6 (2024),  1207–1213  mathnet; Siberian Math. J., 65:6 (2024), 1373–1378
2. A. S. Morozov, “Itbm-constructive completions of algebras”, Sibirsk. Mat. Zh., 65:3 (2024),  533–544  mathnet
2023
3. N. Kh. Kasymov, A. S. Morozov, “Lower semilattices of separable congruences of numbered algebras”, Sibirsk. Mat. Zh., 64:4 (2023),  753–769  mathnet
2022
4. A. S. Morozov, V. G. Puzarenko, M. Kh. Faizrahmanov, “Families of permutations and ideals of Turing degrees”, Algebra Logika, 61:6 (2022),  706–719  mathnet
5. B. Kasymkanuly, A. S. Morozov, “On weakly holographic structures”, Sibirsk. Mat. Zh., 63:6 (2022),  1276–1289  mathnet; Siberian Math. J., 63:6 (2022), 1091–1101
2021
6. N. Kh. Kasymov, A. S. Morozov, I. A. Khodzhamuratova, “$T_1$-separable numberings of subdirectly indecomposable algebras”, Algebra Logika, 60:4 (2021),  400–424  mathnet; Algebra and Logic, 60:4 (2021), 263–278  isi  scopus 7
7. P. Koepke, A. S. Morozov, “Characterizations of ITBM-computability. II”, Algebra Logika, 60:1 (2021),  39–56  mathnet; Algebra and Logic, 60:1 (2021), 26–37  isi  scopus 3
2020
8. 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 4
9. 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 3
10. 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 1
2019
11. 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
12. R. M. Korotkova, O. V. Kudinov, A. S. Morozov, “On mutual definability of operations on fields”, Sibirsk. Mat. Zh., 60:6 (2019),  1324–1334  mathnet  elib; Siberian Math. J., 60:6 (2019), 1032–1039  isi  scopus
13. 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 1
2018
14. 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
15. 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 4
16. 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 8
17. 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 1
2016
18. 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 5
19. 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 13
2014
20. 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 5
21. A. S. Morozov, A. Zh. Satekbaeva, D. A. Tussupov, “On the existential interpretability of structures”, Sib. Èlektron. Mat. Izv., 11 (2014),  557–566  mathnet 3
22. 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 4
23. 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 4
2012
24. 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 12
2011
25. 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
26. 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 7
27. 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 5
28. 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
29. 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 3
2008
30. 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 13
31. 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 1
32. 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 1
2007
33. 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 3
34. 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 3
2006
35. 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 6
2005
36. 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
37. 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 7
2004
38. 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 29
39. 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
40. 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 16
41. 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 1
2003
42. 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
43. 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 2
44. 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 3
2000
45. 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 6
46. 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 3
1999
47. 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 1
1997
48. A. S. Morozov, “Endomorphisms of the group of all recursive permutations”, Algebra Logika, 36:1 (1997),  54–76  mathnet  mathscinet
49. 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 8
1995
50. A. S. Morozov, “On automorphism groups of solvable models”, Algebra Logika, 34:4 (1995),  437–447  mathnet  mathscinet 4
1993
51. A. S. Morozov, “Functional trees and automorphisms of models”, Algebra Logika, 32:1 (1993),  54–72  mathnet  mathscinet 19
1990
52. A. S. Morozov, “Recursive automorphisms of atomic Boolean algebras”, Algebra Logika, 29:4 (1990),  464–490  mathnet  mathscinet 3
53. A. S. Morozov, “On a problem of Higman”, Algebra Logika, 29:1 (1990),  29–34  mathnet  mathscinet 4
1989
54. A. S. Morozov, “Rigid constructive modules”, Algebra Logika, 28:5 (1989),  570–583  mathnet  mathscinet 6
55. 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
56. 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
57. 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 4
1988
58. A. S. Morozov, “Permutations and implicit definability”, Algebra Logika, 27:1 (1988),  19–36  mathnet  mathscinet 13
1987
59. 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 5
1986
60. A. S. Morozov, “On a problem of Bergstra and Tiuryn”, Algebra Logika, 25:5 (1986),  566–583  mathnet  mathscinet
61. A. S. Morozov, “On computable groups of automorphisms of models”, Algebra Logika, 25:4 (1986),  415–424  mathnet  mathscinet 1
1985
62. 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 2
63. 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
64. 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 4
1983
65. A. S. Morozov, “Groups of recursive automorphisms of constructive Boolean algebras”, Algebra Logika, 22:2 (1983),  138–158  mathnet  mathscinet 1
1982
66. A. S. Morozov, “Countable homogeneous Boolean algebras”, Algebra Logika, 21:3 (1982),  269–282  mathnet  mathscinet 2
67. A. S. Morozov, “Strong constructivizability of countable saturated Boolean algebras”, Algebra Logika, 21:2 (1982),  193–203  mathnet  mathscinet
68. A. S. Morozov, “Decidability of theories of Boolean algebras with a distinguished ideal”, Sibirsk. Mat. Zh., 23:1 (1982),  199–201  mathnet  mathscinet  zmath
2022
69. Yu. L. Ershov, S. S. Goncharov, V. D. Mazurov, V. G. Bardakov, N. V. Bayanova, V. V. Bludov, L. A. Bokut', S. V. Varaksin, A. V. Vasil'ev, E. P. Vdovin, M. A. Grechkoseeva, A. V. Zenkov, P. S. Kolesnikov, L. L. Maksimova, I. A. Mal'tsev, A. S. Morozov, N. A. Peryazev, A. G. Pinus, K. N. Ponomarev, A. M. Popova, V. N. Remeslennikov, V. A. Roman'kov, N. S. Romanovskii, E. I. Timoshenko, V. A. Churkin, I. P. Shestakov, “In memory of Valeriy Matveevich Kopytov”, Algebra Logika, 61:6 (2022),  I–IV  mathnet
2020
70. 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  zmath; Russian Math. Surveys, 75:3 (2020), 581–585  isi
2019
71. 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
72. 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
73. 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
74. 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
75. 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
76. 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
77. 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
78. 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
79. 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. Нижние полурешётки отделимых конгруэнций универсальных алгебр
N. Kh. Kasymov, A. S. Morozov
Functional analysis and its applications
January 19, 2023 08:00
2. On holographic structures
Andrey Morozov
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
October 27, 2022 09:00   
3. О $\Sigma$-определимых структурах в $\mathbb{HF} \left( \mathbb{R} \right)$
A. S. Morozov
Seminar of the Laboratory of Mathematical Logic (Saint Petersburg)
May 19, 2020 18:30   
4. Об отделимых алгоритмических представлениях подпрямо неразложимых алгебр
N. Kh. Kasymov, A. S. Morozov, I. A. Khodzhamuratova
Functional analysis and its applications
May 7, 2020 17:00
5. 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 to the website  Logotypes © Steklov Mathematical Institute RAS, 2025