RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Морозов Андрей Сергеевич

В базах данных Math-Net.Ru
Публикаций: 52
Научных статей: 42
Лекций и докладов: 3

Статистика просмотров:
Эта страница:3102
Страницы публикаций:11396
Полные тексты:3305
Списки литературы:1109
профессор
доктор физико-математических наук
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Сайт: http://math.nsc.ru/~asm256

Основные темы научной работы

Вычислимость и ее отношения с определимостью, особенно в рамках теории допустимых множеств и теории моделей; допустимые множества; группы вычислимых (определимых) перестановок; элементарные теории классов групп; теория конструктивных моделей; булевы алгебры; теоретическая информатика; вычислимая топология.


http://www.mathnet.ru/rus/person19694
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/190977

Публикации в базе данных Math-Net.Ru
2020
1. Р. Д. Димитров, В. С. Харизанова, А. С. Морозов, “Тьюринговы степени и группы автоморфизмов решёток подструктур”, Алгебра и логика, 59:1 (2020),  27–47  mathnet
2019
2. А. С. Морозов, “О $\Sigma$-предпорядках в ${\mathbb{HF}(\mathbb{R})}$”, Алгебра и логика, 58:5 (2019),  609–626  mathnet
3. Р. М. Короткова, О. В. Кудинов, А. С. Морозов, “О взаимной определимости операций над полями”, Сиб. матем. журн., 60:6 (2019),  1324–1334  mathnet
4. Б. Касымканулы, А. С. Морозов, “О голографичных структурах”, Сиб. матем. журн., 60:2 (2019),  401–410  mathnet  elib; B. Kasymkhanuly, A. S. Morozov, “On holographic structures”, Siberian Math. J., 60:2 (2019), 312–318  isi  scopus
2018
5. А. С. Морозов, “Перечислимый частичный порядок без перечислимых максимальных цепей и антицепей”, Сиб. матем. журн., 59:3 (2018),  587–595  mathnet  elib; A. S. Morozov, “A computably enumerable partial ordering without computably enumerable maximal chains and antichains”, Siberian Math. J., 59:3 (2018), 463–469  isi  scopus
2017
6. А. С. Морозов, “Непредставимость некоторых структур анализа в наследственно конечных надстройках”, Алгебра и логика, 56:6 (2017),  691–711  mathnet; A. S. Morozov, “Nonpresentability of some structures of analysis in hereditarily finite superstructures”, Algebra and Logic, 56:6 (2018), 458–472  isi  scopus
7. П. Кёпке, А. С. Морозов, “О вычислительных возможностях машин Блюм–Шуба–Смэйла, работающих в бесконечном времени”, Алгебра и логика, 56:1 (2017),  55–92  mathnet; P. Koepke, A. S. Morozov, “The computational power of infinite time Blum–Shub–Smale machines”, Algebra and Logic, 56:1 (2017), 37–62  isi  scopus
8. А. С. Морозов, “Об одной сводимости и экзистенциальной интерпретируемости структур”, Сиб. матем. журн., 58:2 (2017),  365–374  mathnet  elib; A. S. Morozov, “On some reducibility and existential interpretability of structures”, Siberian Math. J., 58:2 (2017), 281–287  isi  elib  scopus
2016
9. А. С. Морозов, “Об одном достаточном условии непредставимости структур в наследственно конечных надстройках”, Алгебра и логика, 55:3 (2016),  366–379  mathnet; A. S. Morozov, “A sufficient condition for nonpresentability of structures in hereditarily finite superstructures”, Algebra and Logic, 55:3 (2016), 242–251  isi  scopus
10. Н. Х. Касымов, А. С. Морозов, “Об определимости линейных порядков над негативными эквивалентностями”, Алгебра и логика, 55:1 (2016),  37–57  mathnet  elib; N. Kh. Kasymov, A. S. Morozov, “Definability of linear orders over negative equivalences”, Algebra and Logic, 55:1 (2016), 24–37  isi  scopus
2014
11. А. С. Морозов, “О $\Sigma$-представлениях вещественного порядка”, Алгебра и логика, 53:3 (2014),  340–371  mathnet  mathscinet; A. S. Morozov, “$\Sigma$-presentations of the ordering on the reals”, Algebra and Logic, 53:3 (2014), 217–237  isi  scopus
12. A. S. Morozov, A. Zh. Satekbaeva, D. A. Tussupov, “On the existential interpretability of structures”, Сиб. электрон. матем. изв., 11 (2014),  557–566  mathnet
13. А. С. Морозов, “$\Sigma$-жесткие представления вещественного порядка”, Сиб. матем. журн., 55:3 (2014),  562–572  mathnet  mathscinet  elib; A. S. Morozov, “On $\Sigma$-rigid presentations of the real order”, Siberian Math. J., 55:3 (2014), 457–464  isi  elib  scopus
14. А. С. Морозов, “Непредставимость полугруппы $\omega^\omega$ над $\mathbb{HF(R)}$”, Сиб. матем. журн., 55:1 (2014),  156–164  mathnet  mathscinet; A. S. Morozov, “Nonpresentability of the semigroup $\omega^\omega$ over $\mathbb{HF(R)}$”, Siberian Math. J., 55:1 (2014), 125–131  isi  scopus
2012
15. А. С. Морозов, “О некоторых представлениях поля вещественных чисел”, Алгебра и логика, 51:1 (2012),  96–128  mathnet  mathscinet  zmath; A. S. Morozov, “Some presentations of the real number field”, Algebra and Logic, 51:1 (2012), 66–88  isi  scopus
2011
16. А. С. Морозов, “О некоторых представлениях поля вещественных чисел”, Алгебра и логика, 50:2 (2011),  270–271  mathnet  zmath; A. S. Morozov, “On some representations of the real number field”, Algebra and Logic, 50:2 (2011), 189–190  isi  scopus
2010
17. В. Харизанова, Р. Миллер, А. С. Морозов, “Простые структуры со сложной симметрией”, Алгебра и логика, 49:1 (2010),  98–134  mathnet  mathscinet  zmath; V. Harizanov, R. Miller, A. S. Morozov, “Simple structures with complex symmetry”, Algebra and Logic, 49:1 (2010), 68–90  isi  scopus
18. А. С. Морозов, Д. К. Пономарев, “О разрешимости проблемы разложимости для конечных теорий”, Сиб. матем. журн., 51:4 (2010),  838–847  mathnet  mathscinet; A. S. Morozov, D. K. Ponomaryov, “On decidability of the decomposability problem for finite theories”, Siberian Math. J., 51:4 (2010), 667–674  isi  scopus
19. А. С. Морозов, “О вычислимых автоморфизмах в анализе формальных понятий”, Сиб. матем. журн., 51:2 (2010),  357–366  mathnet  mathscinet; A. S. Morozov, “On computable automorphisms in formal concept analysis”, Siberian Math. J., 51:2 (2010), 289–295  isi  scopus
2009
20. А. С. Морозов, “Об эффективных представлениях решеток формальных понятий”, Сиб. матем. журн., 50:3 (2009),  603–620  mathnet  mathscinet; A. S. Morozov, “On effective presentations of formal concept lattices”, Siberian Math. J., 50:3 (2009), 481–494  isi  scopus
2008
21. А. С. Морозов, М. В. Коровина, “О $\Sigma$-определимости счётных структур над вещественными, комплексными числами и кватернионами”, Алгебра и логика, 47:3 (2008),  335–363  mathnet  mathscinet  zmath; A. S. Morozov, M. V. Korovina, “$\Sigma$-Definability of countable structures over real numbers, complex numbers, and quaternions”, Algebra and Logic, 47:3 (2008), 193–209  scopus
22. А. С. Морозов, “Определимые множества в группах автоморфизмов рационального порядка”, Алгебра и логика, 47:2 (2008),  215–239  mathnet  mathscinet  zmath; A. S. Morozov, “Definable sets in automorphism groups of rational order”, Algebra and Logic, 47:2 (2008), 125–138  isi  scopus
23. А. С. Морозов, “Об индексных множествах $\Sigma$-подмножеств вещественных чисел”, Сиб. матем. журн., 49:6 (2008),  1351–1360  mathnet  mathscinet; A. S. Morozov, “On the index sets of $\Sigma$-subsets of the real numbers”, Siberian Math. J., 49:6 (2008), 1078–1084  isi  scopus
2007
24. А. С. Морозов, Д. К. Трасс, “О категоричности группы всех вычислимых автоморфизмов рациональных чисел”, Алгебра и логика, 46:5 (2007),  649–662  mathnet  mathscinet  zmath; A. S. Morozov, J. K. Truss, “The categoricity of the group of all computable automorphisms of the rational numbers”, Algebra and Logic, 46:5 (2007), 354–361  isi  scopus
25. А. С. Морозов, М. А. Львова, “О вычислимых формальных понятиях в вычислимых формальных контекстах”, Сиб. матем. журн., 48:5 (2007),  1083–1092  mathnet  mathscinet  zmath; A. S. Morozov, M. A. L'vova, “On computable formal concepts in computable formal contexts”, Siberian Math. J., 48:5 (2007), 871–878  isi  scopus
2006
26. А. С. Морозов, “Элементарные подмодели параметризуемых моделей”, Сиб. матем. журн., 47:3 (2006),  595–612  mathnet  mathscinet  zmath; A. S. Morozov, “Elementary submodels of parametrizable models”, Siberian Math. J., 47:3 (2006), 491–504  isi  scopus
2005
27. А. С. Морозов, “О допустимых предикатах на допустимых множествах”, Сиб. матем. журн., 46:4 (2005),  841–850  mathnet  mathscinet  zmath; A. S. Morozov, “About the admissible predicates on admissible sets”, Siberian Math. J., 46:4 (2005), 668–674  isi
28. С. С. Гончаров, В. С. Харизанова, Д. Ф. Найт, А. С. Морозов, А. В. Ромина, “Об автоморфных кортежах элементов в вычислимых моделях”, Сиб. матем. журн., 46:3 (2005),  523–532  mathnet  mathscinet; S. S. Goncharov, V. S. Harizanova, J. F. Knight, A. S. Morozov, A. V. Romina, “On automorphic tuples of elements in computable models”, Siberian Math. J., 46:3 (2005), 405–412  isi
2004
29. А. С. Морозов, В. Г. Пузаренко, “О $\Sigma$-подмножествах натуральных чисел”, Алгебра и логика, 43:3 (2004),  291–320  mathnet  mathscinet  zmath; A. S. Morozov, V. G. Puzarenko, “$\Sigma$-Subsets of Natural Numbers”, Algebra and Logic, 43:3 (2004), 162–178  scopus
30. А. С. Морозов, “О гомеоморфизмах эффективных топологических пространств”, Сиб. матем. журн., 45:5 (2004),  1160–1177  mathnet  mathscinet; A. S. Morozov, “On homeomorphisms of effective topological spaces”, Siberian Math. J., 45:5 (2004), 956–968  isi
31. А. С. Морозов, “Об отношении $\Sigma$-сводимости между допустимыми множествами”, Сиб. матем. журн., 45:3 (2004),  634–652  mathnet  mathscinet  zmath; A. S. Morozov, “On the relation of $\Sigma$-reducibility between admissible sets”, Siberian Math. J., 45:3 (2004), 522–535  isi
32. А. С. Морозов, Б. Касымканулы, “Булевы алгебры с конечными вычислимыми семействами вычислимых автоморфизмов”, Сиб. матем. журн., 45:1 (2004),  171–177  mathnet  mathscinet  zmath; A. S. Morozov, B. Kasymkanuly, “Boolean algebras with finite families of computable automorphisms”, Siberian Math. J., 45:1 (2004), 141–145  isi
2003
33. А. С. Морозов, “О проблеме конечной сигнатуры”, Сиб. матем. журн., 44:1 (2003),  206–210  mathnet  mathscinet  zmath; A. S. Morozov, “On the problem of finite signature”, Siberian Math. J., 44:1 (2003), 170–173  isi
2002
34. А. С. Морозов, “О представимости групп $\Sigma$-определимых перестановок над допустимыми множествами”, Алгебра и логика, 41:4 (2002),  459–480  mathnet  mathscinet  zmath; A. S. Morozov, “Presentability of Groups of $\Sigma$-Definable Permutations over Admissible Sets”, Algebra and Logic, 41:4 (2002), 254–266  scopus
35. А. С. Морозов, А. Н. Бузыкаева, “Об одной иерархии групп вычислимых автоморфизмов”, Сиб. матем. журн., 43:1 (2002),  155–160  mathnet  mathscinet  zmath; A. S. Morozov, A. N. Duzykaeva, “On a hierarchy of groups of computable automorphisms”, Siberian Math. J., 43:1 (2002), 124–127  isi
2000
36. А. С. Морозов, “Еще раз о вопросе Хигмана”, Алгебра и логика, 39:2 (2000),  134–144  mathnet  mathscinet  zmath; A. S. Morozov, “Once again on the Higman question”, Algebra and Logic, 39:2 (2000), 78–83  scopus
37. А. С. Морозов, “$\Sigma$-множество натуральных чисел, не перечислимое с помощью натуральных чисел”, Сиб. матем. журн., 41:6 (2000),  1404–1408  mathnet  mathscinet  zmath; A. S. Morozov, “A $\Sigma$-set of natural numbers not enumerable by natural numbers”, Siberian Math. J., 41:6 (2000), 1162–1165  isi
1999
38. А. С. Морозов, “Еще раз о счетно-категоричных предложениях”, Сиб. матем. журн., 40:2 (1999),  434–438  mathnet  mathscinet  zmath; A. S. Morozov, “Once more on countably categorical sentences”, Siberian Math. J., 40:2 (1999), 374–377  isi
1997
39. А. С. Морозов, “Тьюрингова сводимость как алгебраическая вложимость”, Сиб. матем. журн., 38:2 (1997),  362–364  mathnet  mathscinet  zmath; A. S. Morozov, “Turing reducibility as algebraic embeddability”, Siberian Math. J., 38:2 (1997), 312–313  isi
1989
40. А. С. Морозов, “Элементарные свойства групп рекурсивных перестановок”, Докл. АН СССР, 305:2 (1989),  274–276  mathnet  mathscinet  zmath; A. S. Morozov, “Elementary properties of groups of recursive permutations”, Dokl. Math., 39:2 (1989), 282–284
1985
41. А. С. Морозов, “О конструктивных булевых алгебрах с почти тождественными автоморфизмами”, Матем. заметки, 37:4 (1985),  478–482  mathnet  mathscinet  zmath; A. S. Morozov, “Constructive boolean algebras with almost-identical automorphisms”, Math. Notes, 37:4 (1985), 266–268  isi
1984
42. А. С. Морозов, “Группа $\mathrm{Aut}_r\langle Q,\le\rangle$ не конструктивизируема”, Матем. заметки, 36:4 (1984),  473–478  mathnet  mathscinet  zmath; A. S. Morozov, “Group $\mathrm{Aut}_r\langle Q,\le\rangle$ is not constructivizable”, Math. Notes, 36:4 (1984), 733–736  isi

2020
43. Л. Д. Беклемишев, А. В. Васильев, Е. П. Вдовин, С. С. Гончаров, В. В. Козлов, П. С. Колесников, В. Д. Мазуров, Ю. В. Матиясевич, А. С. Морозов, А. Н. Паршин, В. Г. Пузаренко, М. В. Швидефски, “Юрий Леонидович Ершов (к восьмидесятилетию со дня рождения)”, УМН, 75:3(453) (2020),  191–194  mathnet
2019
44. Ю. Л. Ершов, С. С. Гончаров, В. Д. Мазуров, Б. С. Байжанов, Б. Ш. Кулпешов, П. Е. Алаев, А. В. Васильев, Е. В. Васильев, Е. П. Вдовин, В. В. Вербовский, А. А. Викентьев, Д. Ю. Власов, М. А. Гречкосеева, В. Н. Желябин, П. С. Колесников, В. М. Копытов, Л. Л. Максимова, И. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. В. Овчинникова, С. П. Одинцов, Д. Е. Пальчунов, Н. А. Перязев, А. Г. Пинус, Л. Н. Победин, А. П. Пожидаев, Б. Пуаза, В. Г. Пузаренко, Д. О. Ревин, В. Н. Ремесленников, Н. С. Романовский, А. Н. Ряскин, С. С. Старченко, А. А. Степанова, С. В. Судоплатов, Е. И. Тимошенко, Д. А. Тусупов, Н. Г. Хисамиев, В. А. Чуркин, З. Шатзидакис, М. В. Швидефски, К. М. Шегиров, И. П. Шестаков, “Евгений Андреевич Палютин (1945–2018)”, Сиб. электрон. матем. изв., 16 (2019),  1–10  mathnet  isi
2015
45. С. С. Гончаров, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, Е. П. Вдовин, А. В. Васильев, Е. А. Палютин, А. А. Никитин, М. В. Швидефски, Л. А. Бокуть, И. П. Шестаков, Е. И. Хухро, “Юрий Леонидович Ершов (к 75-летию со дня рождения)”, Сиб. матем. журн., 56:3 (2015),  477–480  mathnet  mathscinet
2013
46. П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин, “Сергей Ильич Мардаев (6.04.1962–10.04.2013)”, Сиб. электрон. матем. изв., 10 (2013),  30–34  mathnet
2011
47. А. А. Боровков, С. К. Годунов, С. С. Гончаров, А. Н. Коновалов, И. А. Лавров, В. Д. Мазуров, Л. Л. Максимова, А. А. Мальцев, Б. Г. Михайленко, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Ю. Г. Решетняк, “Юрий Леонидович Ершов (к семидесятилетию со дня рождения)”, УМН, 66:1(397) (2011),  201–204  mathnet  mathscinet  zmath  elib; 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)”, Russian Math. Surveys, 66:1 (2011), 199–203  isi
48. Ю. Л. Ершов, В. Д. Мазуров, П. Е. Алаев, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, Е. А. Палютин, С. Ю. Подзоров, “Сергей Савостьянович Гончаров (к 60-летию со дня рождения)”, Сиб. матем. журн., 52:5 (2011),  959–961  mathnet  mathscinet
2010
49. С. С. Гончаров, А. Г. Кусраев, С. С. Кутателадзе, И. А. Лавров, В. Д. Мазуров, А. С. Морозов, М. В. Семёнова, “Ершов Юрий Леонидович (к семидесятилетию со дня рождения)”, Владикавк. матем. журн., 12:2 (2010),  75–78  mathnet
2005
50. С. С. Гончаров, А. С. Морозов, С. П. Одинцов, “9-ая Азиатская конференция по логике (Новосибирск, 16–19 августа 2005 г.)”, Сиб. электрон. матем. изв., 2 (2005),  10–11  mathnet  zmath
2000
51. С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Д. М. Смирнов, “Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)”, УМН, 55:6(336) (2000),  173–182  mathnet  mathscinet  zmath; 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)”, Russian Math. Surveys, 55:6 (2000), 1193–1204  isi
52. С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. А. Никитин, А. С. Морозов, Е. А. Палютин, Д. М. Смирнов, “Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)”, Владикавк. матем. журн., 2:2 (2000),  3–9  mathnet  mathscinet  zmath

Доклады и лекции в базе данных Math-Net.Ru
1. О $\Sigma$-определимых структурах в $\mathbb{HF} ( \mathbb{R} )$
А. С. Морозов
Санкт-Петербургский логический семинар
19 мая 2020 г. 18:30   
2. Об отделимых алгоритмических представлениях подпрямо неразложимых алгебр
Н. Х. Касымов, А. С. Морозов, И. А. Ходжамуратова
Функциональный анализ и его приложения
7 мая 2020 г. 17:00
3. О сигма-представимых предпорядках
А. С. Морозов
Международная школа-семинар "Синтаксис и семантика логических систем"
12 августа 2019 г. 11:10

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020