Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Калимуллин Искандер Шагитович

В базах данных Math-Net.Ru
Публикаций: 36
Научных статей: 33
Лекций и докладов: 9

Статистика просмотров:
Эта страница:5476
Страницы публикаций:11906
Полные тексты:3302
Списки литературы:1415
доцент
доктор физико-математических наук (2001)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail: , ,
Сайт: http://www.ksu.ru/persons/5211.ru.html

Основные темы научной работы

Теория вычислимости, тьюринговые степени и степени по перечислимости.


https://www.mathnet.ru/rus/person29204
Список публикаций на Google Scholar
https://zbmath.org/authors/ai:kalimullin.iskander-sh
https://mathscinet.ams.org/mathscinet/MRAuthorID/669362

Публикации в базе данных Math-Net.Ru Цитирования
2023
1. И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Негативные нумерации в допустимых множествах. II”, Матем. тр., 26:2 (2023),  86–128  mathnet; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Negative numberings in admissible sets. II”, Siberian Adv. Math., 34:1 (2024), 41–66
2. И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Негативные нумерации в допустимых множествах. I”, Матем. тр., 26:1 (2023),  47–92  mathnet  elib; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Negative numberings in admissible sets. I”, Siberian Adv. Math., 33:4 (2023), 293–321 1
2022
3. И. Ш. Калимуллин, “О степенях относительной вычислимой категоричности”, Алгебра и логика, 61:3 (2022),  353–358  mathnet  mathscinet
2021
4. Н. А. Баженов, И. Ш. Калимуллин, “Спектры пунктуальной категоричности вычислимо категоричных структур”, Алгебра и логика, 60:3 (2021),  335–343  mathnet; N. A. Bazhenov, I. Sh. Kalimullin, “Punctual categoricity spectra of computably categorical structures”, Algebra and Logic, 60:3 (2021), 223–228  isi  scopus 1
2020
5. И. Ш. Калимуллин, “О построении пунктуально категоричных полугрупп”, Алгебра и логика, 59:5 (2020),  600–605  mathnet; I. Sh. Kalimullin, “Constructing punctually categorical semigroups”, Algebra and Logic, 59:5 (2020), 408–411  isi  scopus 1
6. И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Полуразрешимые нумерации в допустимых множествах”, Алгебра и логика, 59:3 (2020),  395–402  mathnet; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Semidecidable numberings in admissible sets”, Algebra and Logic, 59:3 (2020), 273–277  isi  scopus
7. И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “О позитивных и однозначных вычислимых нумерациях в гиперарифметике”, Алгебра и логика, 59:1 (2020),  66–83  mathnet; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrakhmanov, “Computable positive and Friedberg numberings in hyperarithmetic”, Algebra and Logic, 59:1 (2020), 46–58  isi  scopus 3
8. И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Позитивные нумерации в допустимых множествах”, Сиб. матем. журн., 61:3 (2020),  607–621  mathnet  elib; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Positive numberings in admissible sets”, Siberian Math. J., 61:3 (2020), 478–489  isi  scopus 3
2019
9. И. Ш. Калимуллин, Р. Миллер, “Примитивно рекурсивные поля и категоричность”, Алгебра и логика, 58:1 (2019),  132–138  mathnet; I. Sh. Kalimullin, R. Miller, “Primitive recursive fields and categoricity”, Algebra and Logic, 58:1 (2019), 95–99  isi  scopus 4
10. М. В. Зубков, И. Ш. Калимуллин, А. Г. Мельников, А. Н. Фролов, “Пунктуальные копии алгебраических структур”, Сиб. матем. журн., 60:6 (2019),  1271–1285  mathnet  elib; M. V. Zubkov, I. Sh. Kalimullin, A. G. Mel'nikov, A. N. Frolov, “Punctual copies of algebraic structures”, Siberian Math. J., 60:6 (2019), 993–1002  isi  scopus 4
11. И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Частичные разрешимые представления в гиперарифметике”, Сиб. матем. журн., 60:3 (2019),  599–609  mathnet  elib; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Partial decidable presentations in hyperarithmetic”, Siberian Math. J., 60:3 (2019), 464–471  isi  scopus 3
2018
12. И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Позитивные представления семейств относительно сводимости по перечислимости”, Алгебра и логика, 57:4 (2018),  492–498  mathnet; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrakhmanov, “Positive presentations of families in relation to reducibility with respect to enumerability”, Algebra and Logic, 57:4 (2018), 320–323  isi  scopus 1
13. И. Ш. Калимуллин, А. Кач, А. Монталбан, В. Г. Пузаренко, М. Х. Файзрахманов, “Обращение скачка алгебраических структур и $\Sigma$-определимость”, Алгебра и логика, 57:2 (2018),  243–249  mathnet; I. Sh. Kalimullin, A. Kach, A. Montalbán, V. G. Puzarenko, M. Kh. Faizrakhmanov, “Jump inversions of algebraic structures and the $\Sigma$-definability”, Algebra and Logic, 57:2 (2018), 161–165  isi  scopus 1
14. И. Ш. Калимуллин, В. Л. Селиванов, А. Н. Фролов, “Спектры степеней структур”, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 158 (2018),  23–39  mathnet  mathscinet; I. Sh. Kalimullin, V. L. Selivanov, A. N. Frolov, “Degree spectra of structures”, J. Math. Sci. (N. Y.), 256:2 (2021), 143–159 2
15. И. Ш. Калимуллин, М. Х. Файзрахманов, “О степенях перечислений счетных семейств вехнеровского типа”, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157 (2018),  59–69  mathnet  mathscinet; I. Sh. Kalimullin, M. Kh. Faizrakhmanov, “Degrees of enumerations of countable Wehner-like families”, J. Math. Sci. (N. Y.), 256:1 (2021), 51–60 1
16. И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Позитивные представления семейств относительно $e$-оракулов”, Сиб. матем. журн., 59:4 (2018),  823–833  mathnet  elib; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Positive presentations of families relative to $e$-oracles”, Siberian Math. J., 59:4 (2018), 648–656  isi  scopus 4
17. С. Ватев, Х. Ганчев, И. Ш. Калимуллин, “Вычислимая вложимость классов алгебраических структур с отношением конгруэнтности”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 160:4 (2018),  731–737  mathnet 1
2017
18. И. Ш. Калимуллин, А. Г. Мельников, К. М. Нг, “Различные версии категоричности без задержек”, Алгебра и логика, 56:2 (2017),  256–266  mathnet; I. S. Kalimullin, A. G. Melnikov, K. M. Ng, “The diversity of categoricity without delay”, Algebra and Logic, 56:2 (2017), 171–177  isi  scopus 18
19. Н. А. Баженов, А. Н. Фролов, И. Ш. Калимуллин, А. Г. Мельников, “Вычислимость дистрибутивных решеток”, Сиб. матем. журн., 58:6 (2017),  1236–1251  mathnet  elib; N. A. Bazhenov, A. N. Frolov, I. Sh. Kalimullin, A. G. Melnikov, “Computability of distributive lattices”, Siberian Math. J., 58:6 (2017), 959–970  isi  scopus 4
2016
20. Н. А. Баженов, И. Ш. Калимуллин, М. М. Ямалеев, “О строгих и нестрогих степенях категоричности”, Алгебра и логика, 55:2 (2016),  257–263  mathnet; N. A. Bazhenov, I. Sh. Kalimullin, M. M. Yamaleev, “Degrees of categoricity vs. strong degrees of categoricity”, Algebra and Logic, 55:2 (2016), 173–177  isi  scopus 15
2015
21. И. Ш. Калимуллин, М. Х. Файзрахманов, “Иерархия классов семейств и $n$-низкие степени”, Алгебра и логика, 54:4 (2015),  536–541  mathnet  mathscinet; I. Sh. Kalimullin, M. Kh. Faizrakhmanov, “A hierarchy of classes of families and $n$-low degrees”, Algebra and Logic, 54:4 (2015), 347–350  isi  scopus 4
2014
22. Д. Х. Зайнетдинов, И. Ш. Калимуллин, “О предельно монотонной сводимости $\Sigma_2^0$-множеств”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 156:1 (2014),  22–30  mathnet 4
2012
23. И. Ш. Калимуллин, М. Х. Файзрахманов, “Спектры предельной монотонности $\Sigma^0_2$-множеств”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 154:2 (2012),  107–116  mathnet 1
2009
24. И. Ш. Калимуллин, В. Г. Пузаренко, “О сводимости на семействах”, Алгебра и логика, 48:1 (2009),  31–53  mathnet  mathscinet  zmath; I. Sh. Kalimullin, V. G. Puzarenko, “Reducibility on families”, Algebra and Logic, 48:1 (2009), 20–32  isi  scopus 20
25. И. Ш. Калимуллин, “Соотношения между алгоритмическими сводимостями алгебраических систем”, Изв. вузов. Матем., 2009, № 6,  71–72  mathnet  mathscinet  zmath; I. Sh. Kalimullin, “Relations between algorithmic reducibilities of algebraic systems”, Russian Math. (Iz. VUZ), 53:6 (2009), 58–59 4
26. И. Ш. Калимуллин, “Равномерность сводимостей проблем представимости алгебраических систем”, Сиб. матем. журн., 50:2 (2009),  334–343  mathnet  mathscinet; I. Sh. Kalimullin, “Uniform reducibility of representability problems for algebraic structures”, Siberian Math. J., 50:2 (2009), 265–271  isi  scopus 3
2008
27. И. Ш. Калимуллин, “Почти вычислимо перечислимые семейства множеств”, Матем. сб., 199:10 (2008),  33–40  mathnet  mathscinet  zmath  elib; I. Sh. Kalimullin, “Almost computably enumerable families of sets”, Sb. Math., 199:10 (2008), 1451–1458  isi  elib  scopus 13
28. И. Ш. Калимуллин, “Ограничения на спектры степеней алгебраических структур”, Сиб. матем. журн., 49:6 (2008),  1296–1309  mathnet  mathscinet; I. Sh. Kalimullin, “Restrictions on the degree spectra of algebraic structures”, Siberian Math. J., 49:6 (2008), 1034–1043  isi  scopus 7
2007
29. И. Ш. Калимуллин, “Спектры степеней некоторых алгебраических структур”, Алгебра и логика, 46:6 (2007),  729–744  mathnet  mathscinet  zmath; I. Sh. Kalimullin, “Spectra of degrees of some structures”, Algebra and Logic, 46:6 (2007), 399–408  isi  scopus 19
2004
30. И. Ш. Калимуллин, В. Г. Пузаренко, “О принципах вычислимости на допустимых множествах”, Матем. тр., 7:2 (2004),  35–71  mathnet  mathscinet  zmath; I. Sh. Kalimullin, V. G. Puzarenko, “Computability Principles on Admissible Sets”, Siberian Adv. Math., 15:4 (2005), 1–33 19
2003
31. М. М. Арсланов, И. Ш. Калимуллин, С. Б. Купер, “Свойства разложимости тотальных степеней по перечислимости”, Алгебра и логика, 42:1 (2003),  3–25  mathnet  mathscinet  zmath; M. M. Arslanov, I. Sh. Kalimullin, S. B. Cooper, “Splitting Properties of Total Enumeration Degrees”, Algebra and Logic, 42:1 (2003), 1–13  scopus 26
2001
32. И. Ш. Калимуллин, “Об элементарных теориях полурешеток $n$-р.п. степеней по перечислимости”, Изв. вузов. Матем., 2001, № 4,  24–27  mathnet  mathscinet  zmath; I. Sh. Kalimullin, “On elementary theories of semilattices of $n$-recursively enumerable degrees with respect to enumerability”, Russian Math. (Iz. VUZ), 45:4 (2001), 22–25 3
2000
33. И. Ш. Калимуллин, “Относительные дополнения в $\Delta_2^0$-степенях по перечислимости”, Алгебра и логика, 39:5 (2000),  547–566  mathnet  mathscinet  zmath; I. Sh. Kalimullin, “Relative complements in $\Delta_2^0$-degrees with respect to enumerability”, Algebra and Logic, 39:5 (2000), 313–323  scopus 3

2024
34. А. Н. Абызов, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, И. Ш. Калимуллин, В. Л. Селиванов, А. Л. Семенов, А. А. Туганбаев, М. Х. Файзрахманов, “Марат Мирзаевич Арсланов (к восьмидесятилетию со дня рождения)”, УМН, 79:2(476) (2024),  189–193  mathnet  mathscinet; A. N. Abyzov, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, I. Sh. Kalimullin, V. L. Selivanov, A. L. Semenov, A. Tuganbaev, M. Kh. Faizrahmanov, “Marat Mirzaevich Arslanov (on his eightieth birthday)”, Russian Math. Surveys, 79:2 (2024), 369–373  isi  scopus
2019
35. И. Ш. Калимуллин, В. Л. Селиванов, “К 75-летию профессора Марата Мирзаевича Арсланова”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 161:1 (2019),  152–160  mathnet  isi  elib
2014
36. И. Ш. Калимуллин, “Профессор М. М. Арсланов и теорема о неподвижных точках”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 156:1 (2014),  154–156  mathnet

Доклады и лекции в базе данных Math-Net.Ru
1. Punctual structures, automatic structures and index sets. Part 2
N. A. Bazhenov, I. Sh. Kalimullin
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
8 апреля 2024 г. 18:30   
2. Конструктивные модели для неклассических предикатных логик. Лекция 2
Н. А. Баженов, И. Ш. Калимуллин
Мини-курс Н. А. Баженова и И. Ш. Калимуллина «Конструктивные модели для неклассических предикатных логик»
5 апреля 2024 г. 16:00   
3. Конструктивные модели для неклассических предикатных логик. Лекция 1
Н. А. Баженов, И. Ш. Калимуллин
Мини-курс Н. А. Баженова и И. Ш. Калимуллина «Конструктивные модели для неклассических предикатных логик»
4 апреля 2024 г. 16:00   
4. Punctual structures, automatic structures and index sets. Part 1
N. A. Bazhenov, I. Sh. Kalimullin
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
1 апреля 2024 г. 18:30   
5. The degrees of relative computable categoricity
I. Sh. Kalimullin
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
11 апреля 2023 г. 18:30   
6. Алгебраические структуры и вычислимая категоричность
И. Ш. Калимуллин
Вторая конференция Математических центров России. Пленарные доклады
8 ноября 2022 г. 10:00   
7. Computable families of sets and numberings
Iskander Kalimullin
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
27 октября 2022 г. 18:05   
8. Punctual structures and punctual categoricity
И. Ш. Калимуллин
Конференция международных математических центров мирового уровня
10 августа 2021 г. 17:30
9. Primitive recursive and automatic structures
Н. А. Баженов, И. Ш. Калимуллин
Международная конференция "Adian 90: Conference on Mathematical Logic, Algebra and Computation"
7 июля 2021 г. 11:30   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024