Персоналии: Калимуллин Искандер Шагитович

Персоналии

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Калимуллин Искандер Шагитович

доцент

доктор физико-математических наук (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 ; 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 ; 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
	2021
4.	Н. А. Баженов, И. Ш. Калимуллин, “Спектры пунктуальной категоричности вычислимо категоричных структур”, Алгебра и логика, 60:3 (2021), 335–343 ; N. A. Bazhenov, I. Sh. Kalimullin, “Punctual categoricity spectra of computably categorical structures”, Algebra and Logic, 60:3 (2021), 223–228	1
	2020
5.	И. Ш. Калимуллин, “О построении пунктуально категоричных полугрупп”, Алгебра и логика, 59:5 (2020), 600–605 ; I. Sh. Kalimullin, “Constructing punctually categorical semigroups”, Algebra and Logic, 59:5 (2020), 408–411	1
6.	И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Полуразрешимые нумерации в допустимых множествах”, Алгебра и логика, 59:3 (2020), 395–402 ; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Semidecidable numberings in admissible sets”, Algebra and Logic, 59:3 (2020), 273–277
7.	И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “О позитивных и однозначных вычислимых нумерациях в гиперарифметике”, Алгебра и логика, 59:1 (2020), 66–83 ; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrakhmanov, “Computable positive and Friedberg numberings in hyperarithmetic”, Algebra and Logic, 59:1 (2020), 46–58	3
8.	И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Позитивные нумерации в допустимых множествах”, Сиб. матем. журн., 61:3 (2020), 607–621 ; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Positive numberings in admissible sets”, Siberian Math. J., 61:3 (2020), 478–489	3
	2019
9.	И. Ш. Калимуллин, Р. Миллер, “Примитивно рекурсивные поля и категоричность”, Алгебра и логика, 58:1 (2019), 132–138 ; I. Sh. Kalimullin, R. Miller, “Primitive recursive fields and categoricity”, Algebra and Logic, 58:1 (2019), 95–99	4
10.	М. В. Зубков, И. Ш. Калимуллин, А. Г. Мельников, А. Н. Фролов, “Пунктуальные копии алгебраических структур”, Сиб. матем. журн., 60:6 (2019), 1271–1285 ; 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	4
11.	И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Частичные разрешимые представления в гиперарифметике”, Сиб. матем. журн., 60:3 (2019), 599–609 ; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Partial decidable presentations in hyperarithmetic”, Siberian Math. J., 60:3 (2019), 464–471	3
	2018
12.	И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Позитивные представления семейств относительно сводимости по перечислимости”, Алгебра и логика, 57:4 (2018), 492–498 ; 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	1
13.	И. Ш. Калимуллин, А. Кач, А. Монталбан, В. Г. Пузаренко, М. Х. Файзрахманов, “Обращение скачка алгебраических структур и $\Sigma$-определимость”, Алгебра и логика, 57:2 (2018), 243–249 ; I. Sh. Kalimullin, A. Kach, A. Montalbán, V. G. Puzarenko, M. Kh. Faizrakhmanov, “Jump inversions of algebraic structures and the $\Sigma$-definability”, Algebra and Logic, 57:2 (2018), 161–165	1
14.	И. Ш. Калимуллин, В. Л. Селиванов, А. Н. Фролов, “Спектры степеней структур”, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 158 (2018), 23–39 ; 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 ; 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 ; 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	4
17.	С. Ватев, Х. Ганчев, И. Ш. Калимуллин, “Вычислимая вложимость классов алгебраических структур с отношением конгруэнтности”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 160:4 (2018), 731–737	1
	2017
18.	И. Ш. Калимуллин, А. Г. Мельников, К. М. Нг, “Различные версии категоричности без задержек”, Алгебра и логика, 56:2 (2017), 256–266 ; I. S. Kalimullin, A. G. Melnikov, K. M. Ng, “The diversity of categoricity without delay”, Algebra and Logic, 56:2 (2017), 171–177	18
19.	Н. А. Баженов, А. Н. Фролов, И. Ш. Калимуллин, А. Г. Мельников, “Вычислимость дистрибутивных решеток”, Сиб. матем. журн., 58:6 (2017), 1236–1251 ; N. A. Bazhenov, A. N. Frolov, I. Sh. Kalimullin, A. G. Melnikov, “Computability of distributive lattices”, Siberian Math. J., 58:6 (2017), 959–970	4
	2016
20.	Н. А. Баженов, И. Ш. Калимуллин, М. М. Ямалеев, “О строгих и нестрогих степенях категоричности”, Алгебра и логика, 55:2 (2016), 257–263 ; 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	15
	2015
21.	И. Ш. Калимуллин, М. Х. Файзрахманов, “Иерархия классов семейств и $n$-низкие степени”, Алгебра и логика, 54:4 (2015), 536–541 ; I. Sh. Kalimullin, M. Kh. Faizrakhmanov, “A hierarchy of classes of families and $n$-low degrees”, Algebra and Logic, 54:4 (2015), 347–350	4
	2014
22.	Д. Х. Зайнетдинов, И. Ш. Калимуллин, “О предельно монотонной сводимости $\Sigma_2^0$-множеств”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 156:1 (2014), 22–30	4
	2012
23.	И. Ш. Калимуллин, М. Х. Файзрахманов, “Спектры предельной монотонности $\Sigma^0_2$-множеств”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 154:2 (2012), 107–116	1
	2009
24.	И. Ш. Калимуллин, В. Г. Пузаренко, “О сводимости на семействах”, Алгебра и логика, 48:1 (2009), 31–53 ; I. Sh. Kalimullin, V. G. Puzarenko, “Reducibility on families”, Algebra and Logic, 48:1 (2009), 20–32	20
25.	И. Ш. Калимуллин, “Соотношения между алгоритмическими сводимостями алгебраических систем”, Изв. вузов. Матем., 2009, № 6, 71–72 ; 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 ; I. Sh. Kalimullin, “Uniform reducibility of representability problems for algebraic structures”, Siberian Math. J., 50:2 (2009), 265–271	3
	2008
27.	И. Ш. Калимуллин, “Почти вычислимо перечислимые семейства множеств”, Матем. сб., 199:10 (2008), 33–40 ; I. Sh. Kalimullin, “Almost computably enumerable families of sets”, Sb. Math., 199:10 (2008), 1451–1458	13
28.	И. Ш. Калимуллин, “Ограничения на спектры степеней алгебраических структур”, Сиб. матем. журн., 49:6 (2008), 1296–1309 ; I. Sh. Kalimullin, “Restrictions on the degree spectra of algebraic structures”, Siberian Math. J., 49:6 (2008), 1034–1043	7
	2007
29.	И. Ш. Калимуллин, “Спектры степеней некоторых алгебраических структур”, Алгебра и логика, 46:6 (2007), 729–744 ; I. Sh. Kalimullin, “Spectra of degrees of some structures”, Algebra and Logic, 46:6 (2007), 399–408	19
	2004
30.	И. Ш. Калимуллин, В. Г. Пузаренко, “О принципах вычислимости на допустимых множествах”, Матем. тр., 7:2 (2004), 35–71 ; 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 ; M. M. Arslanov, I. Sh. Kalimullin, S. B. Cooper, “Splitting Properties of Total Enumeration Degrees”, Algebra and Logic, 42:1 (2003), 1–13	26
	2001
32.	И. Ш. Калимуллин, “Об элементарных теориях полурешеток $n$-р.п. степеней по перечислимости”, Изв. вузов. Матем., 2001, № 4, 24–27 ; 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 ; I. Sh. Kalimullin, “Relative complements in $\Delta_2^0$-degrees with respect to enumerability”, Algebra and Logic, 39:5 (2000), 313–323	3

	2024
34.	А. Н. Абызов, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, И. Ш. Калимуллин, В. Л. Селиванов, А. Л. Семенов, А. А. Туганбаев, М. Х. Файзрахманов, “Марат Мирзаевич Арсланов (к восьмидесятилетию со дня рождения)”, УМН, 79:2(476) (2024), 189–193 ; 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
	2019
35.	И. Ш. Калимуллин, В. Л. Селиванов, “К 75-летию профессора Марата Мирзаевича Арсланова”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 161:1 (2019), 152–160
	2014
36.	И. Ш. Калимуллин, “Профессор М. М. Арсланов и теорема о неподвижных точках”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 156:1 (2014), 154–156

Доклады и лекции в базе данных 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

Организации

Обратная связь:

Пользовательское соглашение

Регистрация посетителей портала

Логотипы