2023
2022
-
Abyzov A.N, Yamaleev M.M., On Some Properties in Sequences of Traces of Powers of Matrices//Russian Mathematics. - 2022. - Vol.66, Is.3. - P.72-74.
-
Kalimullin I.S, Lempp S, Ng K.M, Yamaleev M.M. ON CUPPING AND AHMAD PAIRS//Journal of Symbolic Logic. - 2022. - Vol., Is.. - .
-
Talipova A.I, Yamaleev M.M., Nonuniformity of Downward Density in n-Computably Enumerable Turing Degrees//Russian Mathematics. - 2022. - Vol.66, Is.11. - P.110-115.
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.
-
Arslanov M.M, Batyrshin I.I, Yamaleev M.M., CEA Operators and the Ershov Hierarchy//Russian Mathematics. - 2021. - Vol.65, Is.8. - P.63-69.
2020
-
Melnikov A.G, Selivanov V.L, Yamaleev M.M., Turing reducibility in the fine hierarchy//Annals of Pure and Applied Logic. - 2020. - Vol.171, Is.7. - Art. № 102766.
-
Bazhenov N.A., Mustafa M., San Mauro L., Sorbi A., Yamaleev M.M. Classifying equivalence relations in the Ershov hierarchy // Archive for Mathematical Logic. - 2020, 59 (7-8), P. 835-864
F_Yamaleev2020_Preprint.pdf -
Bazhenov N.A, Mustafa M, Ospichev S.S, Numberings in the Analytical Hierarchy//Algebra and Logic. - 2020. - Vol.59, Is.5. - P.404-407.
-
Bazhenov N.A, Mustafa M, San Mauro L, Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies//Lobachevskii Journal of Mathematics. - 2020. - Vol.41, Is.2. - P.145-150.
-
Bazhenov N.A, Kalimullin I.S, Yamaleev M.M., Strong Degrees of Categoricity and Weak Density//Lobachevskii Journal of Mathematics. - 2020. - Vol.41, Is.9. - P.1630-1639.
-
Yamaleev M.M., Isolation from Side in 2-Computably Enumerable Degrees//Russian Mathematics. - 2020. - Vol.64, Is.8. - P.70-73.
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.
-
Wang S, Wu G, Yamaleev M.M., The d.r.e wtt-Degrees are Dense//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2019. - Vol.11558 LNCS, Is.. - P.277-285.
-
Арсланов М.М., Ямалеев М.М. ТЬЮРИНГОВА ВЫЧИСЛИМОСТЬ: СТРУКТУРНАЯ ТЕОРИЯ// Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, С. 8–41
-
Bazhenov, N., Mustafa, M., Yamaleev, M. Computable isomorphisms of distributive lattices (2019) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11436 LNCS, pp. 28-41.
F_paper2019_fromScopus2.pdf -
Bazhenov, N., Mustafa, M., Yamaleev, M. Elementary theories and hereditary undecidability for semilattices of numberings
(2019) Archive for Mathematical Logic, 58 (3-4), pp. 485-500.
F_paper2019_fromScopus.pdf
2018
-
Bazhenov N.A, Kalimullin I.S.H, Yamaleev M.M., Degrees of categoricity and spectral dimension//Journal of Symbolic Logic. - 2018. - Vol.83, Is.1. - P.103-116.
-
Selivanov V.L, Yamaleev M.M., Turing Degrees in Refinements of the Arithmetical Hierarchy//Algebra and Logic. - 2018. - Vol.57, Is.3. - P.222-236.
-
Bazhenov N, Mustafa M, Yamaleev M., Elementary theories and hereditary undecidability for semilattices of numberings//Archive for Mathematical Logic. - 2018. - Vol., Is.. - .
-
Selivanov V.L, Yamaleev M.M., Extending Cooper's theorem to Delta-3-0 Turing degrees//Computability. - 2018. - Vol.7, Is.2-3. - P.289-300.
2017
-
Andrews U, Kuyper R, Lempp S, Soskova M, Yamaleev M.M., Nondensity of double bubbles in the D.C.E. degrees//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2017. - Vol.10010, Is.. - P.547-562.
-
Bazhenov N, Mustafa M, Stephan F, Boolean algebras realized by c.e. equivalence relations//Siberian Electronic Mathematical Reports. - 2017. - Vol.14, Is.. - P.848-855.
-
Bazhenov N.A, Yamaleev M.M., Degrees of categoricity of rigid structures//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2017. - Vol.10307 LNCS, Is.. - P.152-161.
-
Wu G., Yamaleev M. M. There are no maximal d.c.e. wtt-degrees / G. Wu, M. M. Yamaleev // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2017. - Vol.10010. - P.479-486.
There_no_maximal_2_c.e._wtt_degree.pdf
2016
-
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.
-
Bazhenov N.A, Kalimullin I.S, Yamaleev M.M., Degrees of Categoricity vs. Strong Degrees of Categoricity//Algebra and Logic. - 2016. - Vol.55, Is.2. - P.173-177.
2015
-
Fang Chengling, Liu Jiang, Wu Guohua, Nonexistence of Minimal Pairs in L[d]//EVOLVING COMPUTABILITY. - 2015. - Vol.9136, Is.. - P.177-185.
-
Liu J, Wu G, Yamaleev M., Downward density of exact degrees//Lobachevskii Journal of Mathematics. - 2015. - Vol.36, Is.4. - P.389-398.
2013
2012
2010
2009
| Рабочий адрес: | Казань, ул. Кремлевская, д. 35, Учебное здание №14 (Корпус №2) |
| Номер кабинета: | 509 |
| Телефон: | (843) 233-70-39 |
| E-mail: | mars.yamaleev@kpfu.ru |
| Google scholar: | https://scholar.google.ru/citations?user=WgRZ8OcAAAAJ&hl=ru |
| Google+: | https://plus.google.com/u/0/103149689614096944343 |
| http://orcid.org: | http://orcid.org/0000-0002-8682-2392 |
| http://www.researcherid.com: | http://www.researcherid.com/rid/D-7244-2015 |
| Стаж в КФУ: |
| Педагогический стаж (ППС) в ВУЗе: |
| Научно-педагогический стаж: |
| Общий стаж: |
| Непрерывный в КФУ: |
