Арсланов, Марат Мирзаевич

Окончил механико-математический факультет Казанского университета (1966).

В 1971 году защитил кандидатскую диссертацию, а в 1988 году — докторскую.

Основатель и руководитель научной школы по математической логике, получившей международное признание^[1][2]. Им получены крупные результаты в теории вычислимости, в частности, в исследовании алгебраической структуры упорядочения степеней неразрешимости и в разработке иерархической структуры вычислимых функций. Широкое распространение получили разработанные им критерии полных в соответствующем уровне арифметической иерархии классов арифметических множеств, известные в литературе как критерии полноты Арсланова^[3]. Совместно с И. Ш. Калимуллиным и С. Лемппом решил известную проблему Доуни о попарном различии элементарных теорий степеней неразрешимости^[2]. Критерий полноты Арсланова продолжает активно исследоваться и находит применение в смежных областях, таких как λ-исчисления, частично комбинаторные алгебры, теория алгоритмической случайности и теория сложности^[4].

• 1986 — Рекурсивно-перечислимые множества и степени неразрешимости;
• 1987 — Локальная теория степеней неразрешимости;
• 2007 — Иерархия Ершова;
• 2012 — Arslanov M. M., Khisamiev N. G. Sets and Degrees in the Ershov Difference Hierarchy. — Усть-Каменогорск: ВКГУ;
• 2014 — Арсланов М. М. За стрелой времени. Записки казанского математика. — Казань: Казанский федеральный университет.

• Действительный член Академии Наук Республики Татарстан;
• Заслуженный работник высшей школы Российской Федерации;
• Заслуженный деятель науки Республики Татарстан;
• Заслуженный профессор Казанского университета (18 марта 2010 года)^[2];
• Орден «Дуслык» (2023)^[2];
• Золотая медаль Академии наук Республики Татарстан (2024)^[2];
• Золотая медаль Международного математического общества тюркского мира (2023)^[2];
• Почётная грамота ректора Казанского федерального университета (2024)^[2].

• Заведующий кафедрой алгебры и математической логики Казанского государственного университета;
• Заведующий отделом алгебры Научно-исследовательского института математики и механики Казанского государственного университета (до реорганизации института);
• Председатель диссертационного совета КФУ.011.2 (с 7 октября 2022 года, ранее — Д 212.081.24) по защитам докторских и кандидатских диссертаций^[5];
• Руководитель Научно-образовательного математического центра Приволжского федерального округа^[1];
• Член Международной ассоциации символической логики с 1985;
• Член Европейского комитета ASL, с 1994 по 1999;
• Член совместного AMS/ASL комитета по переводам с русского и других восточно-европейских языков, с 1995 по 2003;
• Член редколлегии журнала Mathematical Logic Quarterly c 1993;
• Член редколлегии журнала Journal of Universal Computer Science c 1994;
• Действительный член Академии Наук Республики Татарстан с 2016;
• Член редколлегии журнала Lobachevskii Journal of Mathematics с 1998;
• Член редколлегии журнала Учёные записки Казанского университета. Серия физико-математических наук с 2004;
• Член редколлегии журнала Asia-European Journal of Mathematics с 2007;
• Член редколлегии журнала Известия ВУЗов. Математика с 2008.

Под его руководством подготовлено тринадцать кандидатов и семь докторов наук^[2][1] (в скобках указаны даты защиты кандидатской и докторской диссертаций):

• Александр Николаевич Дёгтев (1973, 1983), д.ф.-м.н., профессор, заведующий кафедрой алгебры и математической логики Тюменского государственного университета (1974—2007), ум. в 2013 году;
• Виктор Львович Селиванов (01.03.1979, 1989), д.ф.-м.н., заведующий кафедрой информатики и дискретной математики Новосибирского педагогического университета (1991-н.в.);
• Валерий Дмитриевич Соловьёв (07.02.1980), д.ф.-м.н., профессор, математик и лингвист, чемпион России по игре Го (1987), президент Российской Федерации Го (1994—1997);
• Наиль Раисович Бухараев (22.12.1983), к.ф.-м.н., доцент;
• Шамиль Талгатович Ишмухаметов (04.12.1986, 19.06.2003), д.ф.-м.н., профессор, заведующий кафедрой теоретической информатики и компьютерной безопасности Ульяновского государственного университета (2001—2006);
• Тамара Михайловна Кузьмина (05.09.1988), к.ф.-м.н.;
• Екатерина Владимировна Липачева (13.05.1997), к.ф.-м.н.;
• Искандер Шагитович Калимуллин (21.06.2001, 08.09.2009), д.ф.-м.н., профессор, федеральный профессор, профессор РАН;
• Андрей Николаевич Фролов (22.11.2005, 06.06.2014), д.ф.-м.н., доцент;
• Ильнур Ильдарович Батыршин (12.03.2009), к.ф.-м.н.;
• Марс Мансурович Ямалеев (08.09.2009), к.ф.-м.н.;
• Максим Витальевич Зубков (08.09.2009), к.ф.-м.н.;
• Наталья Николаевна Корнеева (28.03.2012), к.ф.-м.н..

Женат.

Сын, Арсланов Камиль Маратович — доктор юридических наук, профессор, заведующий кафедрой гражданского права юридического факультета Казанского (Приволжского) федерального университета^[6][7].