Научная деятельность
Статьи (43) Подробнее
| 1 |
Morozov A.S.
, Puzarenko V.G.
, Faizrakhmanov M.K.
Permutation Groups and Ideals of Turing Degrees Algebra and Logic. 2025. V.63. N2. P.141-152. DOI: 10.1007/s10469-025-09777-2 WOS Scopus РИНЦ OpenAlex |
| 2 |
Morozov A.S.
ITBM-constructive completions of algebras Siberian Mathematical Journal. 2024. V.65. N3. P.590-598. DOI: 10.1134/S003744662403008X WOS Scopus РИНЦ OpenAlex |
| 3 |
Морозов А.С.
О Σ-представлениях аддитивной группы вещественных чисел Математика и теоретические компьютерные науки. 2024. Т.2. №1. С.74-93. DOI: 10.26907/2949-3919.2024.1.74-93 РИНЦ OpenAlex |
| 4 |
Morozov A.S.
Turing spectra of the automorphism groups of the order on the rationals Siberian Mathematical Journal. 2024. V.65. N6. P.1373–1378. DOI: 10.1134/S0037446624060119 WOS Scopus РИНЦ OpenAlex |
| 5 |
Морозов А.С.
Тьюринговы спектры групп автоморфизмов рационального порядка Сибирский математический журнал. 2024. Т.65. №6. С.1207-1213. DOI: 10.33048/smzh.2024.65.611 РИНЦ |
| 6 |
Морозов А.С.
ITBM–конструктивные пополнения алгебр Сибирский математический журнал. 2024. Т.65. №3. С.533-544. DOI: 10.33048/smzh.2024.65.308 РИНЦ |
| 7 |
Морозов А.С.
, Пузаренко В.Г.
, Файзрахманов М.Х.
Группы перестановок и идеалы тьюринговых степеней Алгебра и логика. 2024. Т.63. №2. С.209-224. DOI: 10.33048/alglog.2024.63.205 РИНЦ |
| 8 |
DIimitrov R.
, Harizanov V.
, Morozov A.
, Shafer P.
, Soskova A.A.
, Vatev S.V.
On cohesive powers of linear orders Journal of Symbolic Logic. 2023. V.88. N3. P.947-1004. DOI: 10.1017/jsl.2023.14 WOS Scopus РИНЦ OpenAlex |
| 9 |
Morozov A.
, Puzarenko V.G.
, Faizrachmanov M.K.
Families of Permutations and Ideals of Turing Degrees Algebra and Logic. 2023. V.61. N6. P.481-490. DOI: 10.1007/s10469-023-09714-1 WOS Scopus РИНЦ OpenAlex |
| 10 |
Kasymov N.K.
, Morozov A.S.
Lower Semilattices of Separable Congruences of Numbered Algebras Siberian Mathematical Journal. 2023. V.64. N4. P.864-876. DOI: 10.1134/s0037446623040080 WOS Scopus РИНЦ OpenAlex |
| 11 |
Касымов Н.Х.
, Морозов А.С.
Нижние полурешетки отделимых конгруэнций нумерованных алгебр Сибирский математический журнал. 2023. Т.64. №4. С.753–769. DOI: 10.33048/smzh.2023.64.408 РИНЦ |
| 12 |
Alvir R.
, Calvert W.
, Goodman G.
, Harizanov V.
, Knight J.
, Miller R.
, Morozov A.
, Soskova A.
, Weisshaar R.
INTERPRETING A FIELD IN ITS HEISENBERG GROUP Journal of Symbolic Logic. 2022. V.87. N3. P.1215-1230. DOI: 10.1017/jsl.2021.107 WOS Scopus РИНЦ OpenAlex |
| 13 |
Harizanov V.S.
, Lempp S.
, McCoy C.F.D.
, Morozov A.S.
, Solomon R.
On the isomorphism problem for some classes of computable algebraic structures Archive for Mathematical Logic. 2022. V.61. N5-6. P.813-825. DOI: 10.1007/s00153-021-00811-5 WOS Scopus РИНЦ OpenAlex |
| 14 |
Касымканулы Б.
, Морозов А.С.
О слабо голографичных структурах Сибирский математический журнал. 2022. Т.63. №6. С.1276-1286. DOI: 10.33048/smzh.2022.63.609 РИНЦ |
| 15 |
Kasymkhanuly B.
, Morozov A.S.
On weakly holographic structures Siberian Mathematical Journal. 2022. V.63. N6. P.1091-1101. DOI: 10.1134/S003744662206009X WOS Scopus РИНЦ OpenAlex |
| 16 |
Морозов А.С.
, Пузаренко В.Г.
, Файзрахманов М.Х.
Семейства перестановок и идеалы тьюринговых степеней Алгебра и логика. 2022. Т.61. №6. С.706-719. DOI: 10.33048/alglog.2022.61.603 РИНЦ |
| 17 |
Кёпке П.
, Морозов А.С.
Характеризация ITBM-вычислимости II Алгебра и логика. 2021. Т.60. №1. С.39-56. DOI: 10.33048/alglog.2020.60.103 РИНЦ MathNet |
| 18 |
Касымов Н.Х.
, Морозов А.С.
, Ходжамуратова И.А.
О $T_1$-отделимых нумерациях подпрямо неразложимых алгебр Алгебра и логика. 2021. Т.60. №4. С.400-424. DOI: 10.33048/alglog.2021.60.402 РИНЦ MathNet OpenAlex |
| 19 |
Kasymov N.K.
, Morozov A.S.
, Khodzhamuratova I.A.
T 1-Separable Numberings of Subdirectly Indecomposable Algebras Algebra and Logic. 2021. V.60. N4. P.263-278. DOI: 10.1007/s10469-021-09651-x WOS Scopus OpenAlex |
| 20 |
Koepke P.
, Morozov A.S.
Characterizations of ITBM-computability. I Algebra and Logic. 2021. V.59. N6. P.423-436. DOI: 10.1007/s10469-021-09622-2 WOS Scopus OpenAlex |
| 21 |
Koepke P.
, Morozov A.S.
Characterizations of ITBM-Computability. II Algebra and Logic. 2021. V.60. N1. P.26-37. DOI: 10.1007/s10469-021-09625-z WOS Scopus OpenAlex |
| 22 |
Morozov A.S.
, Tussupov D.A.
Minimal Predicates for Δ-Definability Algebra and Logic. 2020. V.59. N4. P.328-340. DOI: 10.1007/s10469-020-09605-9 WOS Scopus OpenAlex |
| 23 |
Димитров Р.
, Харизанова В.
, Морозов А.С.
Тьюринговы степени и группы автоморфизмов решёток подструктур Алгебра и логика. 2020. Т.59. №1. С.27-47. DOI: 10.33048/alglog.2020.59.102 РИНЦ MathNet OpenAlex |
| 24 |
Кёпке П.
, Морозов А.С.
Характеризации ITBM-вычислимости. I Алгебра и логика. 2020. Т.59. №6. С.627-648. DOI: 10.33048/alglog.2020.59.602 РИНЦ MathNet OpenAlex |
| 25 |
Dimitrov R.D.
, Harizanov V.
, Morozov A.S.
Turing Degrees and Automorphism Groups of Substructure Lattices Algebra and Logic. 2020. V.59. N1. P.18-32. DOI: 10.1007/s10469-020-09576-x WOS Scopus OpenAlex |
| 26 |
Морозов А.С.
, Тусупов Д.А.
Минимальные предикаты относительно $\Delta$-определимости Алгебра и логика. 2020. Т.59. №4. С.480-499. DOI: 10.33048/alglog.2020.59.405 РИНЦ MathNet OpenAlex |
| 27 |
Morozov A.S.
Σ-Preorderings in ℍF (ℝ) Algebra and Logic. 2019. V.58. N5. P.405-416. DOI: 10.1007/s10469-019-09560-0 WOS Scopus OpenAlex |
| 28 |
Короткова Р.М.
, Кудинов О.В.
, Морозов А.С.
О взаимной определимости операций над полями Сибирский математический журнал. 2019. Т.60. №6. С.1324-1334. DOI: 10.33048/smzh.2019.60.611 РИНЦ MathNet OpenAlex |
| 29 |
Касмымканулы Б.
, Морозов А.С.
О голографичных структурах Сибирский математический журнал. 2019. Т.60. №2. С.401-410. DOI: 10.33048/smzh.2019.60.211 РИНЦ MathNet OpenAlex |
| 30 |
Dimitrov R.
, Harizanov V.
, Morozov A.S.
, Shafer P.
, Soskova A.
Cohesive powers of linear orders Lecture Notes in Computer Science. 2019. V.11558. P.168-180. DOI: 10.1007/978-3-030-22996-2_15 Scopus OpenAlex |
| 31 |
Касыманкулы Б.
, Morozov A.S.
On holographic structures Siberian Mathematical Journal. 2019. V.60. N2. P.312-318. DOI: 10.1134/S0037446619020113 WOS Scopus OpenAlex |
| 32 |
Korotkova R.M.
, Kudinov O.V.
, Morozov A.S.
On Mutual Definability of Operations on Fields Siberian Mathematical Journal. 2019. V.60. N6. P.1032-1039. DOI: 10.1134/S0037446619060119 WOS Scopus OpenAlex |
| 33 |
Морозов А.С.
О $\Sigma$-предпорядках в ${\mathbb{HF}(\mathbb{R})}$ Алгебра и логика. 2019. Т.58. №5. С.609–626. |
| 34 |
Morozov A.S.
Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures Algebra and Logic. 2018. V.56. N6. P.458-472. DOI: 10.1007/s10469-018-9468-7 WOS Scopus OpenAlex |
| 35 |
Morozov A.S.
, Schupp P.
Computable permutations and word problems L’Enseignement Mathématique. 2018. V.64. P.143-160. DOI: 10.4171/LEM/64-1/2-6 WOS OpenAlex |
| 36 |
Морозов А.С.
Перечислимый частичный порядок без перечислимых максимальных цепей и антицепей Сибирский математический журнал. 2018. Т.59. №3. С.587–595. DOI: 10.17377/smzh.2018.59.309 РИНЦ MathNet |
| 37 |
Morozov A.S.
A computably enumerable partial ordering without computably enumerable maximal chains and antichains Siberian Mathematical Journal. 2018. V.59. N3. P.463-469. DOI: 10.1134/S0037446618030096 WOS Scopus OpenAlex |
| 38 |
Morozov A.S.
Computable model theory over the reals Lecture Notes in Computer Science. 2017. V.10010. P.354-365. DOI: 10.1007/978-3-319-50062-1_22 Scopus OpenAlex |
| 39 |
Кёпке П.
, Морозов А.С.
О вычислительных возможностях машин Блюм–Шуба–Смэйла, работающих в бесконечном времени Алгебра и логика. 2017. Т.56. №1. С.55-92. DOI: 10.17377/alglog.2017.56.103 РИНЦ MathNet |
| 40 |
Морозов А.С.
Об одной сводимости и экзистенциальной интерпретируемости cтруктур Сибирский математический журнал. 2017. Т.58. №2. С.365-374. DOI: 10.17377/smzh.2017.58.210 РИНЦ MathNet |
| 41 |
Morozov A.S.
On some reducibility and existential interpretability of structures Siberian Mathematical Journal. 2017. V.58. N2. P.281-287. DOI: 10.1134/S0037446617020100 WOS Scopus OpenAlex |
| 42 |
Морозов А.С.
Непредставимость некоторых структур анализа в наследственно конечных надстройках Алгебра и логика. 2017. Т.56. №6. С.691-711. DOI: 10.17377/alglog.2017.56.604 РИНЦ MathNet |
| 43 |
Koepke P.
, Morozov A.S.
The computational power of infinite Time Blum–Shub–Smale machines Algebra and Logic. 2017. V.56. N1. P.37-62. DOI: 10.1007/s10469-017-9425-x WOS Scopus OpenAlex |
Тезисы докладов (2) Подробнее
| 1 |
Морозов А.С.
Об алгебраических свойствах негативных функций В сборнике Синтаксис и семантика логических систем : материалы 8-й Всероссийской конференции, посвященной памяти И. К. Шаранхаева. Аршан, Республика Бурятия, 20–24 августа 2024 г. / ФГБОУ ВО «ИГУ», ИМИТ ; редкол.: Н. А. Перязев, С. Ф. Винокуров, В. И. Пантелеев.. – Издательство ИГУ., 2024. – C.58-60. – ISBN 978-5-9624-2300-5. |
| 2 |
Касымов Н.Х.
, Морозов А.С.
О нижних полурешётках отделимых конгруэнций нумерованных алгебр В сборнике Тезисы докладов международной конференции "Мальцевские чтения". 2022. – C.71. |
Доклады на конференциях (17) Подробнее
| 1 |
Морозов А.С.
Алгебраические свойства некоторых классов функций 8-я Всероссийская конференция "Синтаксис и семантика логических систем", посвященная памяти И. К. Шаранхаева. Аршан, Республика Бурятия, 20-24 авг. 2024 |
| 2 |
Морозов А.С.
Об алгебраических свойствах некоторых классов функций Комбинаторно-вычислительные методы алгебры и логики 15-19 июл. 2024 |
| 3 |
Морозов А.С.
Алгебраические свойства некоторых алгоритмических классов функций Международная научная конференция «Алгебра и математическая логика: теория и приложения» 27 июн. - 1 июл. 2024 |
| 4 |
Morozov A.S.
Algebraic and algorithmic properties of some classes of functions EQUIVALENCES, NUMBERINGS, REDUCIBILITIES 20-24 May 2024 |
| 5 |
Касымов Н.Х.
, Морозов А.С.
О нижних полурешётках отделимых конгруэнций нумерованных алгебр Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ" 14-18 нояб. 2022 |
| 6 |
Морозов А.С.
Теория вычислимых структур над точной реализацией вещественных чисел Международная школа-семинар «Синтаксис и семантика логических систем» 01-05 авг. 2022 |
| 7 |
Морозов А.С.
Теория вычислимых структур над точной реализацией вещественных чисел Международный воркшоп по теории вычислимости 30 июн. - 4 июл. 2022 |
| 8 |
Морозов А.С.
Теория вычислимых структур над точной реализацией вещественных чисел Сателлит-конференция «ЛОБАЧЕВСКИЕ ЧТЕНИЯ» Международного конгресса математиков-2022 30 июн. - 4 июл. 2022 |
| 9 |
Пузаренко В.Г.
, Морозов А.С.
, Файзрахманов М.Х.
К проблеме спектров групп перестановок Algorithmic Presentations in Mathematics 08-12 нояб. 2021 |
| 10 |
Morozov A.S.
Computable model theory over HF(R) Международная конференция «Мальцевские чтения» 16-19 Nov 2020 |
| 11 |
Morozov A.S.
On $\Sigma$-preorderings in HF(R) South Eastern Logic Symposium 2020 29 Feb - 1 Mar 2020 |
| 12 |
Морозов А.С.
О сигма-представимых предпорядках Синтаксис и семантика логических систем 12-15 авг. 2019 |
| 13 |
Морозов А.С.
О $\Sigma$-предпорядках над HF(R) Пограничные вопросы теории моделей и универсальной алгебры 23-29 июн. 2019 |
| 14 |
Morozov A.
On Σ-preorderings in HF(R) Workshop on Recursion Theory, Set Theory and their interactions 27 May - 7 Jun 2019 |
| 15 |
Morozov A.S.
, Koepke P.
On the computability with infinite time Blum–Shub–Smale machines St. Petersburg days of logic and computability IV 23-26 May 2019 |
| 16 |
Morozov A.S.
, Кёпке П.
Infinite time Blum-Shub-Smale machines: a computability for analysis Международная конференция «Мальцевские чтения» 19 Aug - 22 Nov 2018 |
| 17 |
Morozov A.S.
On Σ-Presentability of Some Structures of Analysis over Hereditarily Finite Superstructures Computability and Complexity Symposium 2017 05-08 Jan 2017 |
Внешние ссылки
ORCID:
ResearcherID:
Scopus ID:
Ученые степени
1991 - Доктор наук по специальности 01.01.06 - Математическая логика, алгебра и теория чисел
1983 - Кандидат наук по специальности 01.01.06 - Математическая логика, алгебра и теория чисел
Ученые звания
1993 - Профессор
1991 - Доцент
Награды
| 24 дек. 2024 г. | - |
Премия РАН имени А.И. Мальцева Премия, Награды РАН и отделений РАН |