JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Арсланов Марат Мирзаевич
В базах данных Math-Net.Ru
Публикаций: 17
Научных статей: 15
Статистика просмотров: Эта страница: 1730 Страницы публикаций: 2528 Полные тексты: 865 Списки литературы: 217
профессор
доктор физико-математических наук (1988)
Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения:
7.02.1944
Телефон:
+7 (843) 233 77 14
E-mail:
email
Сайт:
http://www.kpfu.ru
Ключевые слова:
перечислимые множества,
алгоритмические сводимости,
вычислимые функции,
разрешимые теории,
Колмогоровска сложность вычислений,
вычислимые алгебры,
степени неразрешимости.
Коды УДК:
510.5 , 510.54 , 517.11, 517.929 , 519, 519.92, 519.95
Коды MSC:
03D25 , 03D30
Основные темы научной работы
Теория вычислимости; сложность алгоритмов и вычислений; теория конструктивных моделей.
Основные публикации:
Arslanov M.M., Kalimullin I.Sh., Lempp S., “On Downey's Conjecture”, Journal of Symbolic Logic , 75 (2010), 401–441
Arslanov M.M., “Definability and Elementary Equivalence in the Ershov Difference Hierarchy”, Lecture Notes in Logic, 32 , 2009, 1–17
Arslanov M.M., Omanadze R.Sh.,, “Q-degrees of n-c.e. sets”, Illinois J. of Math. , 51 (2007), 1189–1206
M.M. Arslanov, S. Barry Cooper, I.Sh. Kalimullin, M.I. Soskova, “Total degrees and nonsplitting properties of Sigma-2-0 enumeration degrees”, Lecture Notes in Computer Science, 4978 , 2008, 568–578
Arslanov M.M., Chong, C.T., Cooper, S.B., Yang Y., “The minimal e-degree problem in fragments of Peano arithmetic”, Annals of Pure and Applied Math , 131 (2005), 159–175
http://www.mathnet.ru/rus/person19985
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Публикации в базе данных Math-Net.Ru
1.
Структурная теория степеней неразрешимости: достижения и открытые проблемы Алгебра и логика , 54 :4 (2015), 529–535
2.
Определимые отношения в структурах тьюринговых степеней Изв. вузов. Матем. , 2014, № 2, 77–81
3.
Relative enumerability and the $d$ -c. e. degrees Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки , 154 :2 (2012), 152–158
4.
Теоретико-модельные свойства тьюринговых степеней разностной иерархии Ершова Совр. пробл. матем. , 15 (2011), 5–14
5.
Слабые представления вычислимых
частично-упорядоченных полугрупп Изв. вузов. Матем. , 2006, № 3, 3–8
6.
Свойства разложимости тотальных степеней по перечислимости Алгебра и логика , 42 :1 (2003), 3–25
7.
A note on minimal and maximal ideals of ordered semigroups Lobachevskii J. Math. , 11 (2002), 3–6
8.
Полнота арифметических множеств под теоретико-множественными операциями Изв. вузов. Матем. , 1993, № 9, 3–7
9.
О структуре степеней ниже $0'$ Изв. вузов. Матем. , 1988, № 7, 27–33
10.
Семейства рекурсивно перечислимых множеств и их степени неразрешимости Изв. вузов. Матем. , 1985, № 4, 13–19
11.
Об одном классе гиперпростых неполных множеств Матем. заметки , 38 :6 (1985), 872–874
12.
Эффективно гипериммунные множества и мажоранты Матем. заметки , 38 :2 (1985), 302–309
13.
О некоторых обобщениях теоремы о неподвижной точке Изв. вузов. Матем. , 1981, № 5, 9–16
14.
Критерий полноты рекурсивно перечислимых множеств и некоторые обобщения теоремы о неподвижной точке Изв. вузов. Матем. , 1977, № 4, 3–7
15.
О полных гиперпростых множествах Изв. вузов. Матем. , 1970, № 4, 30–35
16.
Математическая жизнь в Казани в годы войны Матем. просв., сер. 3 , 15 (2011), 20–34
17.
Международная школа-конференция “Теория рекурсий и теория сложности” (WRTCT'97) УМН , 52 :6(318) (1997), 213–214
Организации
Пользовательское соглашение