2024
-
Kalimullin I.S, Puzarenko V.G, Faizrakhmanov M.K., Negative Numberings in Admissible Sets. II//Siberian Advances in Mathematics. - 2024. - Vol.34, Is.1. - P.41-66.
-
Kalimullin I, Melnikov A, Zubkov M., Punctual Degrees and Lattice Embeddings//Lecture Notes Series, Institute for Mathematical Sciences. - 2024. - Vol.42, Is.. - P.315-334.
2023
- Goh JL, Kalimullin Iskander Sh., Miller JS , PA RELATIVE TO AN ENUMERATION ORACLE // JOURNAL OF SYMBOLIC LOGIC. - 2023. - Vol. 88, Is. 4. - P. 1497-1525. .
-
Kalimullin I.S, Puzarenko V.G, Faizrakhmanov M.K., Negative Numberings in Admissible Sets. I//Siberian Advances in Mathematics. - 2023. - Vol.33, Is.4. - P.293-321.
-
Калимуллин И.Ш. Степени селекторных функций и относительная
вычислимая категоричность // Математика и теор. комп. науки. - 2023. - Т. 1, № 4. - С. 67-80.
-
Калимуллин И.Ш., Пузаренко В.Г., Файзрахманов М.Х. Негативные нумерации в допустимых множествах. II // Матем. тр. - 2023. - Т. 26, № 2. - С. 86-128.
F_AT262A5.pdf -
Калимуллин И.Ш., Пузаренко В.Г., Нумерации в допустимых множествах над эквивалентностями // Математика и теор. комп. науки. - 2023. - Т. 1, № 3. - С. 33-45 .
-
Калимуллин И.Ш., Пузаренко В.Г., Файзрахманов М.Х. Негативные нумерации в допустимых множествах. I // Матем. тр. - 2023. - Т. 26, № 1. - С. 47-92.
AT261A4.pdf
2022
-
Ganchev H.A, Kalimullin I.S.H, Miller J.S, A STRUCTURAL DICHOTOMY in the ENUMERATION DEGREES//Journal of Symbolic Logic. - 2022. - Vol. 87, Is. 2 . -P. 527-544 .
-
Kalimullin I.S., Degrees of Relative Computable Categoricity//Algebra and Logic. - 2022. - Vol.61, Is.3. - P.238-241.
-
Kalimullin I.S, Lempp S, Ng K.M, Yamaleev M.M. ON CUPPING AND AHMAD PAIRS//Journal of Symbolic Logic. - 2022. - Vol., Is.. - .
-
Kalimullin I.S., Punctual Structures and Primitive Recursive Reducibility//Lobachevskii Journal of Mathematics. - 2022. - Vol.43, Is.3. - P.582-586.
2021
-
Kalimullin I.Sh., Faizrahmanov M.Kh. Degrees of Enumerations of Countable Wehner-Like Families // Journal of Mathematical Sciences. - 2021. - V. 256, № 1. - P. 51-60.
-
Kalimullin I.S, Selivanov V.L, Frolov A.N., Degree Spectra of Structures//Journal of Mathematical Sciences (United States). - 2021. - Vol., Is.. - .
-
Bazhenov N.A, Kalimullin I.S., Punctual Categoricity Spectra of Computably Categorical Structures//Algebra and Logic. - 2021. - Vol., Is.. - .
- Kalimullin Iskander, Melnikov Alexander, Montalban Antonio, Punctual definability on structures//ANNALS OF PURE AND APPLIED LOGIC. - 2021. - Vol.172, Is.8. - Art. №102987.
-
Kalimullin I.S, Melnikov A.G., Punctual Categoricity Relative to a Computable Oracle//Lobachevskii Journal of Mathematics. - 2021. - Vol.42, Is.4. - P.735-742.
2020
-
Downey R, Harrison-Trainor M, Kalimullin I, Graphs are not universal for online computability//Journal of Computer and System Sciences. - 2020. - Vol., Is.. - .
-
Bazhenov N, Kalimullin I, Melnikov A, Online presentations of finitely generated structures//Theoretical Computer Science. - 2020. - Vol., Is.. - .
-
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.
- Калимуллин И.Ш., Пузаренко В.Г., Файзрахманов М.Х. Полуразрешимые нумерации в допустимых множествах // Алгебра и логика. - 2020. -Т. 59, № 3. - С. 395-402.
- Калимуллин И.Ш., Пузаренко В.Г., Файзрахманов М.Х. Позитивные нумерации в допустимых множествах // Сибирский математический журнал. - 2020. - Т. 61, № 3. - С. 607-621.
- Калимуллин И.Ш., Пузаренко В.Г., Файзрахманов М.Х. О позитивных и однозначных вычислимых нумерациях в гиперарифметике // Алгебра и логика. - 2020. -Т. 59, № 1. - С. 66-83.
-
Kalimullin I.S., Constructing Punctually Categorical Semigroups//Algebra and Logic. - 2020. - Vol.59, Is.5. - P.408-411.
2019
- Faizrahmanov M., Kach A., Kalimullin I., Montalban A., Puzarenko V. Jump inversions of algebraic structures and Sigma-definability // Math. Log. Quart. - 2019. - V. 65, № 1. - P. 37-45.
-
Kalimullin I, Miller R, Schoutens H., Degree Spectra for Transcendence in Fields//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2019. - Vol.11558 LNCS, Is.. - P.205-216.
-
Bazhenov N, Downey R, Kalimullin I, Melnikov A. FOUNDATIONS OF ONLINE STRUCTURE THEORY//Bulletin of Symbolic Logic. - 2019. - Vol.25, Is.2. - P.141-181.
- Калимуллин И.Ш., Миллер Р. Примитивно рекурсивные поля и категоричность // Алгебра и Логика. - 2019. - Т. 58, №1. - С. 132-138.
-
Zubkov M.V, Kalimullin I.S, Melnikov A.G, Frolov A.N. Punctual Copies of Algebraic Structures//Siberian Mathematical Journal. - 2019. - Vol.60, Is.6. - P.993-1002.
- Калимуллин И.Ш., Пузаренко В.Г., Файзрахманов М.Х. Частичные разрешимые представления в гиперарифметике // Сибирский математический журнал. - 2019. - Т. 60, № 3. - С. 599-609.
-
BAZHENOV, N., HARRISON-TRAINOR, M., KALIMULLIN, I., MELNIKOV, A., & NG, K. (2019). AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES. The Journal of Symbolic Logic, 84(4), 1630-1669
2018
-
Kalimullin I.S., Computable Embeddings of Classes of Structures Under Enumeration and Turing Operators//Lobachevskii Journal of Mathematics. - 2018. - Vol.39, Is.1. - P.84-88.
F_embed.pdf -
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.
- Калимуллин И.Ш., Пузаренко В.Г., Файзрахманов М.Х. Позитивные представления семейств относительно e-оракулов // Сибирский математический журнал. - 2018. - Т. 59, № 4. - С. 823-833.
-
Калимуллин И.Ш., Селиванов В.Л., Фролов А.Н. Спектры степеней структур // Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз. - 2018. - Том 158. - С. 23–39.
F_firstpage_into411.pdf - Калимуллин И.Ш., Пузаренко В.Г., Файзрахманов М.Х. Позитивные представления семейств относительно сводимости по перечислимости // Алгебра и логика. - 2018. - Т. 57, № 4. - С. 492-498.
-
Калимуллин И.Ш., Файзрахманов М.Х. О степенях перечислений счетных семейств вехнеровского типа // Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз. - 2018. - Том 157. - С. 59-69.
-
Калимуллин И.Ш., Кэч А., Монталбан А., Пузаренко В.Г., Файзрахманов М.Х. Обращение скачка алгебраических структур и Sigma-определимость // Алгебра и логика. - 2018. - Т. 57, № 2. - С. 243-249.
2017
-
Arslanov M.M, Kalimullin I.S., A survey of results on the d-c.e. and n-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.469-478.
-
Faizrahmanov M., Kalimullin I., Montalban A., Puzarenko V. The Least ∑-jump Inversion Theorem for n-families // Journal of Universal Computer Science. - 2017. - V. 23, № 6. - P. 529-538.
-
Kalimullin I.S., Melnikov, A.G., Ng, K.M. The Diversity of Categoricity Without Delay // Algebra and Logic. – V. 56., -P. 171-177.
- Н.А. Баженов, А.Н. Фролов, И.Ш. Калимуллин, А.Г. Мельников, Вычислимость дистрибутивных решеток // Сибирский математический журнал, 2017, Т. 58, № 6, с. 1236-1251.
-
Kalimullin, I., Melnikov, A., Ng, K.M. Algebraic structures computable without delay (2017) Theoretical Computer Science, 674, pp. 73-98.
2016
- Faizrahmanov M., Kalimullin I. The enumeration spectrum hierarchy of n-families // Mathematical Logic Quarterly. - 2016. - V. 62, № 4. - P. 420-426.
- Faizrahmanov M., Kalimullin I. The Enumeration Spectrum Hierarchy of α-families and Low_α Degrees // Journal of Universal Computer Science. - 2016. - V. 22, № 7. -P. 943-955.
-
Andrews U., Cai M.4, Kalimullin I.Sh., Lempp S., Miller J.S., Montalban A. The Complements Of Lower Cones Of Degrees And The Degree Spectra Of Structures // Journal of Symbolic Logic. 2016., doi:10.1017/jsl.2015.59.
-
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.
-
Fokina E, Frolov A, Kalimullin I., Categoricity Spectra for Rigid Structures//Notre Dame Journal of Formal Logic. - 2016. - Vol.57, Is.1. - P.45-57.
-
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
- Калимуллин И.Ш., Файзрахманов М.Х. Иерархия классов семейств и n-низкие степени // Алгебра и логика. - 2015. - Т. 54, № 4. - С. 536-541.
-
M. Faizrahmanov, I. Kalimullin, Limitwise monotonic sets of reals // Mathematical Logic Quarterly. - 2015. - V. 61, № 3. - P. 224-229.
2014
-
M. Faizrahmanov, I. Kalimullin, and D. Zainetdinov, Maximality and Minimality under Limitwise Monotonic Reducibility // Lobachevskii Journal of Mathematics, 2014, Vol. 35, No. 4, pp. 333–338
-
Д. Х. Зайнетдинов, И. Ш. Калимуллин, “О предельно монотонной сводимости $Sigma^0_2$-множеств”, Физико-математические науки, Учëн. зап. Казан. гос. ун-та. Сер. Физ.-матем. науки, 156, № 1, Изд-во Казанского ун-та, Казань, 2014, 22–30
uzku1226.pdf -
Зайнетдинов Д.Х., Калимуллин И.Ш. О предельно монотонной сводимости Sigma^0_2-множеств // Ученые записки Казанского университета. Серия Физико-математические науки. - 2014. - Т. 156. - С. 22-30.
2013
2012
-
Faizrahmanov, Marat Kh.; Kalimullin, Iskander Sh. Turing and enumeration jumps in the Ershov hierarchy //Journal of Logic and Computation. Vol.22, N.4, 2012 , pp.737-743
-
Калимуллин И.Ш., Файзрахманов М.Х. Спектры предельной монотонности $\Sigma^0_2$-множеств // Учен. зап. Казан. ун-та. Сер Физ-матем. науки. 2012. Т.154, кн.2. С.107-116
-
A. Frolov, V. Harizanov, I. Kalimullin, O. Kudinov, R. Miller, Spectra of high n and non-low n degrees//Journal of Logic and Computation. - 2012. - Vol.22, Is.4. - P.755-777.
-
Kalimullin I. Algorithmic reducibilities of algebraic structures // Journal of Logic and Computation. - 2012. - V. 22. № 4. - С. 831-843
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.
-
Калимуллин И.Ш. Спектры предельной монотонности $\Sigma^0_2$-множеств / И.Ш. Калимуллин, М.Х. Файзрахманов // Материалы международной конференции, посвященной 100-летию со дня рождения В.В. Морозова (Казань, 25 - 30 сентября 2011 г.)
- Kalimullin I.Sh. Limitwise monotonicity and the degree spectra of structures // Bulletin of Symbolic Logic. - 2011. - V. 17. - № 2. - P. 281.
2010
-
Fokina E.B, Kalimullin I.Sh., Miller R. Degrees of categoricity of computable structures // Arch. Math. Log. - 2010. - V. 49. - P. 51-67.
-
Arslanov M.M., Kalimullin I.Sh., Lempp S. On Downey's conjecture // Journal of Symbolic Logic. - 2010. - V. 75. - P. 401 - 441.
-
Csima B.F., Kalimullin I.S. Degree spectra and immunity properties // Math. Logic Quarterly. - 2010. - V. 56. - P. 67-77
2009
- Kalimullin I. Sh., Enumeration degrees and enumerability of families // Journal of Logic and Computation. - 2009. - V.19, - № 1. - P. 151-158.
-
Andrey Frolov, Iskander Sh. Kalimullin, Russell Miller, Spectra of Algebraic Fields and Subfields // Lecture Notes in Computer Science. - 2009. - V. 5635. - P. 232-241.
-
Калимуллин И.Ш. Соотношения между алгоритмическими сводимостями алгебраических систем // Известия ВУЗов. Математика. - 2009. - №6. - С. 71-72.
-
Калимуллин И.Ш. Равномерность сводимостей алгебраических систем // Сибирский мат. журнал. - 2009. - № 2. - C. 334-343.
-
Калимуллин И.Ш., Пузаренко В.Г. О сводимости на семействах // Алгебра и логика. - 2009. - № 1. - С. 33-51.
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
- Калимуллин И.Ш., Ограничения на спектры степеней алгебраических структур // Сибирский мат. журнал. - 2008. - Т. 49, №6. - С. 1296-1309
- Калимуллин И.Ш., Почти вычислимо перечислимые семейства множеств // Математический сборник. - 2008. - Т. 199, № 10. - С. 33-40
2007
- Kalimullin I. Sh., Elementary differences between the (2p)-c.e. and the (2p+1)-c.e. enumeration degrees // J. Symbolic Logic. - 2007. - V. 72, № 1. - P. 277-284
- Калимуллин И.Ш., Спектры степеней некоторых алгебраических структур // Алгебра и Логика. - 2007. - Т. 46, № 6. - С. 729-744
-
Kalimullin I. Sh., Some notes on degree spectra of the structures // Lecture Notes in Computer Science. - 2007. - V. 4497. - P. 389-398
2006
2005
2003
- Арсланов М.М., Калимуллин И.Ш. Исследования по теории вычислимости. Сб. На рубеже веков. Казань, Казанское мат. общество, 2003, с. 50-68.
-
Арсланов М.М., Калимуллин И.Ш., Купер С.Б. Свойства разложения тотальных степеней перечислимости, Алгебра и логика, 2003, т.42(1), с.3-25.
2001
1998
| Рабочий адрес: | Казань, ул. Кремлевская, д. 35, Учебное здание №14 (Корпус №2) |
| Номер кабинета: | 509 |
| Телефон: | 233-70-39 |
| E-mail: | Iskander.Kalimullin@kpfu.ru |
| Google scholar: | https://scholar.google.ru/citations?hl=ru&user=fZqVt14AAAAJ |
| Педагогический стаж (ППС) в ВУЗе: |
| Научно-педагогический стаж: |
| Общий стаж: |
| Непрерывный в КФУ: |
