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

В базах данных Math-Net.Ru
Публикаций: 45
Научных статей: 37

Статистика просмотров:
Эта страница:2020
Страницы публикаций:7770
Полные тексты:2022
Списки литературы:805
профессор
доктор физико-математических наук
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
1. Перечислимый частичный порядок без перечислимых максимальных цепей и антицепей
А. С. Морозов
Сиб. матем. журн., 59:3 (2018),  587–595
2. Непредставимость некоторых структур анализа в наследственно конечных надстройках
А. С. Морозов
Алгебра и логика, 56:6 (2017),  691–711
3. О вычислительных возможностях машин Блюм–Шуба–Смэйла, работающих в бесконечном времени
П. Кёпке, А. С. Морозов
Алгебра и логика, 56:1 (2017),  55–92
4. Об одной сводимости и экзистенциальной интерпретируемости структур
А. С. Морозов
Сиб. матем. журн., 58:2 (2017),  365–374
5. Об одном достаточном условии непредставимости структур в наследственно конечных надстройках
А. С. Морозов
Алгебра и логика, 55:3 (2016),  366–379
6. Об определимости линейных порядков над негативными эквивалентностями
Н. Х. Касымов, А. С. Морозов
Алгебра и логика, 55:1 (2016),  37–57
7. О $\Sigma$-представлениях вещественного порядка
А. С. Морозов
Алгебра и логика, 53:3 (2014),  340–371
8. On the existential interpretability of structures
A. S. Morozov, A. Zh. Satekbaeva, D. A. Tussupov
Сиб. электрон. матем. изв., 11 (2014),  557–566
9. $\Sigma$-жесткие представления вещественного порядка
А. С. Морозов
Сиб. матем. журн., 55:3 (2014),  562–572
10. Непредставимость полугруппы $\omega^\omega$ над $\mathbb{HF(R)}$
А. С. Морозов
Сиб. матем. журн., 55:1 (2014),  156–164
11. О некоторых представлениях поля вещественных чисел
А. С. Морозов
Алгебра и логика, 51:1 (2012),  96–128
12. О некоторых представлениях поля вещественных чисел
А. С. Морозов
Алгебра и логика, 50:2 (2011),  270–271
13. Простые структуры со сложной симметрией
В. Харизанова, Р. Миллер, А. С. Морозов
Алгебра и логика, 49:1 (2010),  98–134
14. О разрешимости проблемы разложимости для конечных теорий
А. С. Морозов, Д. К. Пономарев
Сиб. матем. журн., 51:4 (2010),  838–847
15. О вычислимых автоморфизмах в анализе формальных понятий
А. С. Морозов
Сиб. матем. журн., 51:2 (2010),  357–366
16. Об эффективных представлениях решеток формальных понятий
А. С. Морозов
Сиб. матем. журн., 50:3 (2009),  603–620
17. О $\Sigma$-определимости счётных структур над вещественными, комплексными числами и кватернионами
А. С. Морозов, М. В. Коровина
Алгебра и логика, 47:3 (2008),  335–363
18. Определимые множества в группах автоморфизмов рационального порядка
А. С. Морозов
Алгебра и логика, 47:2 (2008),  215–239
19. Об индексных множествах $\Sigma$-подмножеств вещественных чисел
А. С. Морозов
Сиб. матем. журн., 49:6 (2008),  1351–1360
20. О категоричности группы всех вычислимых автоморфизмов рациональных чисел
А. С. Морозов, Д. К. Трасс
Алгебра и логика, 46:5 (2007),  649–662
21. О вычислимых формальных понятиях в вычислимых формальных контекстах
А. С. Морозов, М. А. Львова
Сиб. матем. журн., 48:5 (2007),  1083–1092
22. Элементарные подмодели параметризуемых моделей
А. С. Морозов
Сиб. матем. журн., 47:3 (2006),  595–612
23. О допустимых предикатах на допустимых множествах
А. С. Морозов
Сиб. матем. журн., 46:4 (2005),  841–850
24. Об автоморфных кортежах элементов в вычислимых моделях
С. С. Гончаров, В. С. Харизанова, Д. Ф. Найт, А. С. Морозов, А. В. Ромина
Сиб. матем. журн., 46:3 (2005),  523–532
25. О $\Sigma$-подмножествах натуральных чисел
А. С. Морозов, В. Г. Пузаренко
Алгебра и логика, 43:3 (2004),  291–320
26. О гомеоморфизмах эффективных топологических пространств
А. С. Морозов
Сиб. матем. журн., 45:5 (2004),  1160–1177
27. Об отношении $\Sigma$-сводимости между допустимыми множествами
А. С. Морозов
Сиб. матем. журн., 45:3 (2004),  634–652
28. Булевы алгебры с конечными вычислимыми семействами вычислимых автоморфизмов
А. С. Морозов, Б. Касымканулы
Сиб. матем. журн., 45:1 (2004),  171–177
29. О проблеме конечной сигнатуры
А. С. Морозов
Сиб. матем. журн., 44:1 (2003),  206–210
30. О представимости групп $\Sigma$-определимых перестановок над допустимыми множествами
А. С. Морозов
Алгебра и логика, 41:4 (2002),  459–480
31. Об одной иерархии групп вычислимых автоморфизмов
А. С. Морозов, А. Н. Бузыкаева
Сиб. матем. журн., 43:1 (2002),  155–160
32. Еще раз о вопросе Хигмана
А. С. Морозов
Алгебра и логика, 39:2 (2000),  134–144
33. $\Sigma$-множество натуральных чисел, не перечислимое с помощью натуральных чисел
А. С. Морозов
Сиб. матем. журн., 41:6 (2000),  1404–1408
34. Еще раз о счетно-категоричных предложениях
А. С. Морозов
Сиб. матем. журн., 40:2 (1999),  434–438
35. Тьюрингова сводимость как алгебраическая вложимость
А. С. Морозов
Сиб. матем. журн., 38:2 (1997),  362–364
36. О конструктивных булевых алгебрах с почти тождественными автоморфизмами
А. С. Морозов
Матем. заметки, 37:4 (1985),  478–482
37. Группа $\mathrm{Aut}_r\langle Q,\le\rangle$ не конструктивизируема
А. С. Морозов
Матем. заметки, 36:4 (1984),  473–478
38. Выбор оптимальных размеров горла диффузора конденсирующего инжектора
А. Ф. Гандельсман, С. И. Вайнштейн, А. С. Морозов, А. П. Севастьянов, Э. Э. Шпильрайн, К. А. Якимович
ТВТ, 14:2 (1976),  365–371

39. Юрий Леонидович Ершов (к 75-летию со дня рождения)
С. С. Гончаров, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, Е. П. Вдовин, А. В. Васильев, Е. А. Палютин, А. А. Никитин, М. В. Швидефски, Л. А. Бокуть, И. П. Шестаков, Е. И. Хухро
Сиб. матем. журн., 56:3 (2015),  477–480
40. Сергей Ильич Мардаев (6.04.1962–10.04.2013)
П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин
Сиб. электрон. матем. изв., 10 (2013),  30–34
41. Юрий Леонидович Ершов (к семидесятилетию со дня рождения)
А. А. Боровков, С. К. Годунов, С. С. Гончаров, А. Н. Коновалов, И. А. Лавров, В. Д. Мазуров, Л. Л. Максимова, А. А. Мальцев, Б. Г. Михайленко, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Ю. Г. Решетняк
УМН, 66:1(397) (2011),  201–204
42. Сергей Савостьянович Гончаров (к 60-летию со дня рождения)
Ю. Л. Ершов, В. Д. Мазуров, П. Е. Алаев, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, Е. А. Палютин, С. Ю. Подзоров
Сиб. матем. журн., 52:5 (2011),  959–961
43. Ершов Юрий Леонидович (к семидесятилетию со дня рождения)
С. С. Гончаров, А. Г. Кусраев, С. С. Кутателадзе, И. А. Лавров, В. Д. Мазуров, А. С. Морозов, М. В. Семёнова
Владикавк. матем. журн., 12:2 (2010),  75–78
44. 9-ая Азиатская конференция по логике (Новосибирск, 16–19 августа 2005 г.)
С. С. Гончаров, А. С. Морозов, С. П. Одинцов
Сиб. электрон. матем. изв., 2 (2005),  10–11
45. Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)
С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Д. М. Смирнов
УМН, 55:6(336) (2000),  173–182
46. Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)
С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. А. Никитин, А. С. Морозов, Е. А. Палютин, Д. М. Смирнов
Владикавк. матем. журн., 2:2 (2000),  3–9

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