2024
2022
-
Arslanov M.M. On a General Method of Constructing Post Reducibilities and the Corresponding Completeness Criteria/ M.M. Arslanov//Lobachevskii Journal of Mathematics. - 2022. - v. 43. - № 12. - C. 24–28.
-
М.М. Арсланов. Критерии полноты для одного класса сводимости // Известия Вузов, Математика. - 2022. - №10. С.73-78.
2021
-
Arslanov M.M, Yamaleev M.M., Turing Computability: Structural Theory//Journal of Mathematical Sciences (United States). - 2021. - Vol.256, Is.1. - .
-
Арсланов М.М. CEA-операторы и иерархия Ершова/М.М. Арсланов, И.И. Батыршин, М.М. Ямалеев//Известия Вузов. Математика.- 2021. - № 8. - С. 72-79.
-
M.M. Arslanov, Fixed-point Selection Functions , Lobachevskii Journal of Mathematics, 2021, Vol. 42, No. 4, pp. 685–692.
2019
- Arslanov M. M., Yamaleev M. M., On the Problem of Definability of the Computably Enumerable Degrees in the Difference Hierarchy//LOBACHEVSKII JOURNAL OF MATHEMATICS. - 2019. - Vol.39, Is.5. - P.634-638.
-
А. Н. Абызов, М. М. Арсланов, “Исследования по алгебре и математической логике в Казанском университете”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 3–7
into404.pdf -
Арсланов М.М., Ямалеев М.М. ТЬЮРИНГОВА ВЫЧИСЛИМОСТЬ: СТРУКТУРНАЯ ТЕОРИЯ// Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, С. 8–41
-
Akhbari M.H, Movahedi F, Arslanov M., On the doubly connected domination polynomial of a graph//Asian-European Journal of Mathematics. - 2019. - Vol.12, No. 3 P.1950036.1-1350036.10
2018
-
M.M. Arslanov, M.M. Yamaleev, On the Problem of Definability of the Computably Enumerable Degrees in the Difference Hierarchy// Lobachevskii Journal of Mathematics, 2018, Vol. 39, No. 5, pp. 634–638.
- M. Arslanov, Splitting and non-splitting in the difference hierarchy//Mathematical Structures in Computer Science. - 2018. - Vol. 28, No. 3, 384 - 391.
2017
2016
- Арсланов М.М. Алгебраические структуры и относительная вычислимость//Развитие региональных научных исследований: сборник региональной научно-практической конференции. - Казань, 2016. - С.8-11
- Арсланов М.М. , Абызов А.Н. Алгебра в Казанском университете // Матер. Межд. конф. по алгебре, анализу и геометрии. - Казань: КПФУ, 2016. - С. 3-12.
-
ARSLANOV M., Splitting properties in the difference hierarchy//Mathematical Structures in Computer Science. - 2016. - Vol. 26. - P. 384-391. doi.org/10.1017/S0960129516000244
-
Arslanov M.M, Kalimullin I.S, Yamaleev M.M., Elementary theories and structural properties of d-c.e. and n-c.e. degrees//Lobachevskii Journal of Mathematics. - 2016. - Vol.37, Is.6. - P.713-722.
2015
-
Структурная теория степеней неразрешимости: достижения и открытые проблемы//Алгебра и логика.-2015.-т.54. №4.-с. 529-535
-
Arslanov M.M., Structural Theory of Degrees of Unsolvability: Advances and Open Problems//Algebra and Logic. - 2015. - Vol. 54, Is.4. - P.342-346.
2014
-
Arslanov M.M., Definable relations in Turing degree structures//Russian Mathematics. - 2014. - Vol.58, Is.2. - P.64-67.
- Arslanov M.M. Definable relations in Turing degree structures// Материалы международной конференции "Алгебра и математическая логика: теория и приложения", К(П)ФУ, Казань, 2-6 июня 2014, с. 22 г.
- М. М. Арсланов. Определимые отношения в структурах тьюринговых степеней// Изв. вузов. Матем. - 2014 - № 2. - 77–81
- Ehsani, A., Movsisyan, Y., Arslanov, M. A representation of paramedial n-ary groupoids, 2014, Asian-European Journal of Mathematics, 7(1),1450020
2013
-
Arslanov M.M. Definable relations in Turing degree
structures, J.Logic Computation, vol. 23, No.6, 2013, p. 1145-1154
- Арсланов М.М. Определимость в степенных структурах//Математика в современном мире: материалы Международной научно-практической конференции, посвященной 150-летию Д.А.Граве 7-10 октября 2013 года, ВГПУ, Вологда, C.12-13
-
Arslanov M.M., Definable relations in Turing degree structures//Journal of Logic and Computation. - 2013. - Vol.23, Is.6. - P.1145-1154.
2012
-
Arslanov M.M. Definability the degree structures//Kavli Royal Society International Centre, Chicheley Hall, 12 - 15 June, 2012, p.148-150
-
Arslanov M.M. Model-theoretic properties of Turing degrees in the Ershov difference hierarchy// Proceedings of the Steklov Institute of Mathematics. - 2012.-v.278.-p. 55-63
-
Arslanov M.M. Relative enumerability and the d-c.e. degrees// Ученые записки Казанского федерального университета. Сер. Физико-математические науки. - 2012. - C. 152-158
-
Arslanov M.M., Model-theoretic properties of the m-c.e. degrees//Journal of Logic and Computation. - 2012. - Vol.22, Is.4. - P.669-677.
-
Arslanov M.M., Model-theoretic properties of turing degrees in the Ershov difference hierarchy//Proceedings of the Steklov Institute of Mathematics. - 2012. - Vol.278, Is.SUPPL. 1. - P.57-65.
-
Arslanov M.M. Model-theoretic properties of the n-c.e. degrees//Journal of Logic Computation. - v.22. 2012. P.212-231
2011
-
Arslanov M.M., Cooper S.B., Kalimullin I.Sh., Soskova M.I. Splitting and Nonsplitting in the Sigma-0-2 Enumeration Degrees // Theoretical Comp. Science. - 2011. - V. 412. - P. 1669-1685.
-
Arslanov M.M. The Ershov hierarchy. In: Computability in Context. Computation and Logic in the Real World. (S.B. Cooper, A.Sorbi, eds.) Imoerial College Press, London, 2011, P. 49-100
-
Arslanov M.M. Local Turing degree theory: Open questions and current trends. Proc. of the International Conference "Malzev Meeting'2011", Institut of Mathematics, Novosibirsk, 2011, p. 18
-
Арсланов М.М. Теоретико-модельные свойства тьюринговых степеней разностной иерархии Ершова, Совр. пробл. матем., 15, МИАН, М., 2011, 5-14
-
Арсланов М.М. Математическая жизнь в Казани в годы войны//Математическое просвещение. Третья серия. - вып.15.- 2011. -с. 20-34.
2010
-
Arslanov M.M., Kalimullin I.Sh., Lempp S. On Downey's conjecture // Journal of Symbolic Logic. - 2010. - V. 75. - P. 401 - 441.
-
Arslanov M.M. Model-theoretic properties of the n-c.e. degrees//
Journal of Logic and Computation 2010; doi: 10.1093/logcom/exq034:
- Arslanov M.M.. Applications of the Ershov difference hierarchy in the computable algebra and the complexity theory// Материалы междунар. научн. конф."Мальцевские чтения", посв. 100-летию акад. Ю.Л. Ершова. Институт математки СО РАН, Новосибирск. 2010, с.11.
- Arslanov M.M. Definable relations in the n-c.e. degree structures//Bull. Symbolic Logic. - v.16. - 2010. - p. 132.
- Арсланов М.М. Теория моделей полурешеток, связанных с тьюринговой сводимостью\\ Материалы междунар. научн. конф."Algebra and Logic: Theory and applications". Красноярск. 2010, с.8.
2009
-
Arslanov M.M. Definability and Elementary Equivalence in the Ershov Difference
Hierarchy, Lecture Notes in Logic, v. 32, 2009, p. 1-17
- Arslanov M.M. Model-theoretic aspects of the non-computable universe\\ Материалы междунар. научн. конф."Мальцевские чтения". Институт математки СО РАН, Новосибирск, 2009, с. 17
- Арсланов М.М. Математика в Казанском университете за первые полтора столетия его существования. НИИ Математики и Механики Казанского университета (А.М. Елизаров, ред.), Казань, из-во Казанского университета, 2009, с. 43-107.
-
Arslanov M.M. Definable relations in the n-c.e. degree structures, Proceedings of the Logic Colloquium'2009 Workshop, Sofia, Sofia University, 2009, p. 1-85.
2008
-
Arslanov M.M., Cooper S.B., Kalimullin I.Sh. and Soskova M.I., Total degrees and nonsplitting properties of Sigma-2-0 enumeration degrees // Lecture Notes in Computer Science. - 2008. - V. 4978. - C. 568-578
-
Arslanov M.M., Batyrshin I.I., Omanadze R.Sh. Structural properties of Q-degrees of n-c.e. sets// Annals of Pure and Applied Logic. - v. 156. - 2008. - P. 13-20.
- Арсланов М.М. Математическая логика. В кн.: Татарская энциклопедия. Казань: Институт татарской энциклопедии. - 2008. - 63-64.
- Арсланов М.М. Структурная теория степеней неразрешимости//Труды НИИММ им. Н.Г. Чеботарева. - 2008. - с. 54-68.
- Arslanov M.M. Generalized tabular reducibilities in infinite levels of the Ershov difference hierarchy, Pakistan Mathematical Society Preprint series, Islamabad, 2008.
2007
-
Arslanov M.M., Omanadze R.Sh., Q-degrees of n-c.e. sets // Illinois J. of Math. - V.
51. - No. 4. - 2007. - P.1189-1206
- Arslanov M.M.. Definability and elementarily equivalence in the Ershov difference hierarchy//Bulletin of Symbolic Logic.- v. 13. - 2007. - p. 252
- Арсланов М.М. Структуры степеней в иерархии Ершова // Тезисы докладов Международной конференции, Мальцевские чтения, Новосибирск, Россия, 2007. с. 11.
- Arslanov M.M., Computable algebras and their degree spectras// 8th International Pure Mathematics Conference, Pakistan Mathematical Society, Islamabad Preston University, Islamabad, 24-26 August 2007, p. 35.
2006
-
Arslanov M.M., Generalized Tabular Reducibilities in Infinite Levels of Ershov Difference Hierarchy // In: Logical Approaches to Computational Barriers, CiE'2006 (A.Beckmann, J. Berger, B. Loewe, J.V. Tacker, eds.),2006. - P. 15-23.
-
Арсланов М.М., Кехайопулу Н., Слабые представления вычислимых частично-упорядоченных полугрупп // Известия Вузов, Математика -- Т.3 -- 2006 -- С.3-8.
-
Arslanov M.M. Problems of definability and structural differences among elementary theories of the Ershov difference hierarchy, Proceedings of the Logic Colloquium 2006 (Nijmegen, Nolland, 2006)
2005
- Арсланов М.М. Полнота по табличной сводимости и Колмогоровская сложность вычислений, Фэн хэм Тел (Наука и язык), 7, 2005, 12-19
-
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.- v. 131.- 2005. - p. 159-175.
2004
2003
- Arslanov M.M. Truth-table complete computably enumerable sets, "Computability and models", S.B. Cooper and S.S. Goncharov, editors, 2003, c.1-10.
- Арсланов М.М., Калимуллин И.Ш. Исследования по теории вычислимости. Сб. На рубеже веков. Казань, Казанское мат. общество, 2003, с. 50-68.
-
Арсланов М.М., Калимуллин И.Ш., Купер С.Б. Свойства разложения тотальных степеней перечислимости, Алгебра и логика, 2003, т.42(1), с.3-25.
2002
2001
2000
1998
1997
1996
| Рабочий адрес: | Казань, ул. Кремлевская, д. 35, Учебное здание №14 (Корпус №2) |
| Номер кабинета: | 502 |
| Телефон: | 2337714 |
| E-mail: | Marat.Arslanov@kpfu.ru |
| Google scholar: | https://scholar.google.ru/citations?user=97E6sr0AAAAJ&hl=ru&oi=ao |
| Педагогический стаж (ППС) в ВУЗе: |
| Научно-педагогический стаж: |
| Общий стаж: |
| Непрерывный в КФУ: |
