|
21
|
Кёпке П.
, Морозов А.С.
Характеризация ITBM-вычислимости II
Алгебра и логика. 2021.
Т.60. №1. С.39-56. DOI: 10.33048/alglog.2020.60.103
РИНЦ
MathNet
|
|
22
|
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
|
|
23
|
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
|
|
24
|
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
|
|
25
|
Димитров Р.
, Харизанова В.
, Морозов А.С.
Тьюринговы степени и группы автоморфизмов решёток подструктур
Алгебра и логика. 2020.
Т.59. №1. С.27-47. DOI: 10.33048/alglog.2020.59.102
РИНЦ
MathNet
OpenAlex
|
|
26
|
Кёпке П.
, Морозов А.С.
Характеризации ITBM-вычислимости. I
Алгебра и логика. 2020.
Т.59. №6. С.627-648. DOI: 10.33048/alglog.2020.59.602
РИНЦ
MathNet
OpenAlex
|
|
27
|
Морозов А.С.
, Тусупов Д.А.
Минимальные предикаты относительно $\Delta$-определимости
Алгебра и логика. 2020.
Т.59. №4. С.480-499. DOI: 10.33048/alglog.2020.59.405
РИНЦ
MathNet
OpenAlex
|
|
28
|
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
|
|
29
|
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
|
|
30
|
Короткова Р.М.
, Кудинов О.В.
, Морозов А.С.
О взаимной определимости операций над полями
Сибирский математический журнал. 2019.
Т.60. №6. С.1324-1334. DOI: 10.33048/smzh.2019.60.611
РИНЦ
MathNet
OpenAlex
|
|
31
|
Касмымканулы Б.
, Морозов А.С.
О голографичных структурах
Сибирский математический журнал. 2019.
Т.60. №2. С.401-410. DOI: 10.33048/smzh.2019.60.211
РИНЦ
MathNet
OpenAlex
|
|
32
|
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
|
|
33
|
Касыманкулы Б.
, Morozov A.S.
On holographic structures
Siberian Mathematical Journal. 2019.
V.60. N2. P.312-318. DOI: 10.1134/S0037446619020113
WOS
Scopus
OpenAlex
|
|
34
|
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
|
|
35
|
Морозов А.С.
О $\Sigma$-предпорядках в ${\mathbb{HF}(\mathbb{R})}$
Алгебра и логика. 2019.
Т.58. №5. С.609–626.
|
|
36
|
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
|
|
37
|
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
|
|
38
|
Морозов А.С.
Перечислимый частичный порядок без перечислимых максимальных цепей и антицепей
Сибирский математический журнал. 2018.
Т.59. №3. С.587–595. DOI: 10.17377/smzh.2018.59.309
РИНЦ
MathNet
|
|
39
|
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
|
|
40
|
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
|