|
|
Publications in Math-Net.Ru |
Citations |
|
2022 |
1. |
I. Sh. Kalimullin, “О степенях относительной вычислимой категоричности”, Algebra Logika, 61:3 (2022), 353–358 |
|
2021 |
2. |
N. A. Bazhenov, I. Sh. Kalimullin, “Punctual categoricity spectra of computably categorical structures”, Algebra Logika, 60:3 (2021), 335–343 ; Algebra and Logic, 60:3 (2021), 223–228 |
1
|
|
2020 |
3. |
I. Sh. Kalimullin, “Constructing punctually categorical semigroups”, Algebra Logika, 59:5 (2020), 600–605 ; Algebra and Logic, 59:5 (2020), 408–411 |
1
|
4. |
I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Semidecidable numberings in admissible sets”, Algebra Logika, 59:3 (2020), 395–402 ; Algebra and Logic, 59:3 (2020), 273–277 |
5. |
I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrakhmanov, “Computable positive and Friedberg numberings in hyperarithmetic”, Algebra Logika, 59:1 (2020), 66–83 ; Algebra and Logic, 59:1 (2020), 46–58 |
3
|
6. |
I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Positive numberings in admissible sets”, Sibirsk. Mat. Zh., 61:3 (2020), 607–621 ; Siberian Math. J., 61:3 (2020), 478–489 |
3
|
|
2019 |
7. |
I. Sh. Kalimullin, R. Miller, “Primitive recursive fields and categoricity”, Algebra Logika, 58:1 (2019), 132–138 ; Algebra and Logic, 58:1 (2019), 95–99 |
4
|
8. |
M. V. Zubkov, I. Sh. Kalimullin, A. G. Mel'nikov, A. N. Frolov, “Punctual copies of algebraic structures”, Sibirsk. Mat. Zh., 60:6 (2019), 1271–1285 ; Siberian Math. J., 60:6 (2019), 993–1002 |
4
|
9. |
I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Partial decidable presentations in hyperarithmetic”, Sibirsk. Mat. Zh., 60:3 (2019), 599–609 ; Siberian Math. J., 60:3 (2019), 464–471 |
3
|
|
2018 |
10. |
I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrakhmanov, “Positive presentations of families in relation to reducibility with respect to enumerability”, Algebra Logika, 57:4 (2018), 492–498 ; Algebra and Logic, 57:4 (2018), 320–323 |
1
|
11. |
I. Sh. Kalimullin, A. Kach, A. Montalbán, V. G. Puzarenko, M. Kh. Faizrakhmanov, “Jump inversions of algebraic structures and the $\Sigma$-definability”, Algebra Logika, 57:2 (2018), 243–249 ; Algebra and Logic, 57:2 (2018), 161–165 |
1
|
12. |
I. Sh. Kalimullin, V. L. Selivanov, A. N. Frolov, “Degree spectra of structures”, Itogi Nauki i Tekhniki. Sovrem. Mat. Pril. Temat. Obz., 158 (2018), 23–39 ; J. Math. Sci. (N. Y.), 256:2 (2021), 143–159 |
2
|
13. |
I. Sh. Kalimullin, M. Kh. Faizrakhmanov, “Degrees of enumerations of countable Wehner-like families”, Itogi Nauki i Tekhniki. Sovrem. Mat. Pril. Temat. Obz., 157 (2018), 59–69 ; J. Math. Sci. (N. Y.), 256:1 (2021), 51–60 |
1
|
14. |
I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Positive presentations of families relative to $e$-oracles”, Sibirsk. Mat. Zh., 59:4 (2018), 823–833 ; Siberian Math. J., 59:4 (2018), 648–656 |
4
|
15. |
S. Vatev, H. Ganchev, I. Sh. Kalimullin, “Computable embedding of classes of algebraic structures with congruence relation”, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 160:4 (2018), 731–737 |
1
|
|
2017 |
16. |
I. S. Kalimullin, A. G. Melnikov, K. M. Ng, “The diversity of categoricity without delay”, Algebra Logika, 56:2 (2017), 256–266 ; Algebra and Logic, 56:2 (2017), 171–177 |
18
|
17. |
N. A. Bazhenov, A. N. Frolov, I. Sh. Kalimullin, A. G. Melnikov, “Computability of distributive lattices”, Sibirsk. Mat. Zh., 58:6 (2017), 1236–1251 ; Siberian Math. J., 58:6 (2017), 959–970 |
4
|
|
2016 |
18. |
N. A. Bazhenov, I. Sh. Kalimullin, M. M. Yamaleev, “Degrees of categoricity vs. strong degrees of categoricity”, Algebra Logika, 55:2 (2016), 257–263 ; Algebra and Logic, 55:2 (2016), 173–177 |
15
|
|
2015 |
19. |
I. Sh. Kalimullin, M. Kh. Faizrakhmanov, “A hierarchy of classes of families and $n$-low degrees”, Algebra Logika, 54:4 (2015), 536–541 ; Algebra and Logic, 54:4 (2015), 347–350 |
4
|
|
2014 |
20. |
D. Kh. Zainetdinov, I. Sh. Kalimullin, “On limitwise monotonic reducibility of $\Sigma_2^0$-sets”, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 156:1 (2014), 22–30 |
4
|
|
2012 |
21. |
I. Sh. Kalimullin, M. Kh. Faizrakhmanov, “Limitwise monotonic spectra of $\Sigma^0_2$-sets”, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 154:2 (2012), 107–116 |
1
|
|
2009 |
22. |
I. Sh. Kalimullin, V. G. Puzarenko, “Reducibility on families”, Algebra Logika, 48:1 (2009), 31–53 ; Algebra and Logic, 48:1 (2009), 20–32 |
20
|
23. |
I. Sh. Kalimullin, “Relations between algorithmic reducibilities of algebraic systems”, Izv. Vyssh. Uchebn. Zaved. Mat., 2009, no. 6, 71–72 ; Russian Math. (Iz. VUZ), 53:6 (2009), 58–59 |
4
|
24. |
I. Sh. Kalimullin, “Uniform reducibility of representability problems for algebraic structures”, Sibirsk. Mat. Zh., 50:2 (2009), 334–343 ; Siberian Math. J., 50:2 (2009), 265–271 |
3
|
|
2008 |
25. |
I. Sh. Kalimullin, “Almost computably enumerable families of sets”, Mat. Sb., 199:10 (2008), 33–40 ; Sb. Math., 199:10 (2008), 1451–1458 |
13
|
26. |
I. Sh. Kalimullin, “Restrictions on the degree spectra of algebraic structures”, Sibirsk. Mat. Zh., 49:6 (2008), 1296–1309 ; Siberian Math. J., 49:6 (2008), 1034–1043 |
7
|
|
2007 |
27. |
I. Sh. Kalimullin, “Spectra of degrees of some structures”, Algebra Logika, 46:6 (2007), 729–744 ; Algebra and Logic, 46:6 (2007), 399–408 |
19
|
|
2004 |
28. |
I. Sh. Kalimullin, V. G. Puzarenko, “Computability Principles on Admissible Sets”, Mat. Tr., 7:2 (2004), 35–71 ; Siberian Adv. Math., 15:4 (2005), 1–33 |
19
|
|
2003 |
29. |
M. M. Arslanov, I. Sh. Kalimullin, S. B. Cooper, “Splitting Properties of Total Enumeration Degrees”, Algebra Logika, 42:1 (2003), 3–25 ; Algebra and Logic, 42:1 (2003), 1–13 |
26
|
|
2001 |
30. |
I. Sh. Kalimullin, “On elementary theories of semilattices of $n$-recursively enumerable degrees with respect to enumerability”, Izv. Vyssh. Uchebn. Zaved. Mat., 2001, no. 4, 24–27 ; Russian Math. (Iz. VUZ), 45:4 (2001), 22–25 |
3
|
|
2000 |
31. |
I. Sh. Kalimullin, “Relative complements in $\Delta_2^0$-degrees with respect to enumerability”, Algebra Logika, 39:5 (2000), 547–566 ; Algebra and Logic, 39:5 (2000), 313–323 |
3
|
|
|
|
2024 |
32. |
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)”, Uspekhi Mat. Nauk, 79:2(476) (2024), 189–193 ; Russian Math. Surveys, 79:2 (2024), 369–373 |
|
2019 |
33. |
I. Sh. Kalimullin, V. L. Selivanov, “On the 75th birth anniversary of Marat Mirzaevich Arslanov”, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 161:1 (2019), 152–160 |
|
2014 |
34. |
I. Sh. Kalimullin, “Professor M. M. Arslanov and a fixed-point theorem”, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 156:1 (2014), 154–156 |
|
Presentations in Math-Net.Ru |
1. |
Punctual structures, automatic structures and index sets. Part 2 N. A. Bazhenov, I. Sh. Kalimullin
Seminars
"Proof Theory" and "Logic Online Seminar" April 8, 2024 18:30
|
2. |
Конструктивные модели для неклассических предикатных логик. Лекция 2 N. A. Bazhenov, I. Sh. Kalimullin
April 5, 2024 16:00
|
3. |
Конструктивные модели для неклассических предикатных логик. Лекция 1 N. A. Bazhenov, I. Sh. Kalimullin
April 4, 2024 16:00
|
4. |
Punctual structures, automatic structures and index sets. Part 1 N. A. Bazhenov, I. Sh. Kalimullin
Seminars
"Proof Theory" and "Logic Online Seminar" April 1, 2024 18:30
|
5. |
The degrees of relative computable categoricity I. Sh. Kalimullin
Seminars
"Proof Theory" and "Logic Online Seminar" April 11, 2023 18:30
|
6. |
Алгебраические структуры и вычислимая категоричность I. Sh. Kalimullin
November 8, 2022 10:00
|
7. |
Computable families of sets and numberings Iskander Kalimullin
Fourth Workshop on Digitalization and Computable Models (WDCM-2022) October 27, 2022 18:05
|
8. |
Punctual structures and punctual categoricity I. Sh. Kalimullin
August 10, 2021 17:30
|
9. |
Primitive recursive and automatic structures N. A. Bazhenov, I. Sh. Kalimullin
Adian 90: Conference on Mathematical Logic, Algebra, and Computation July 7, 2021 11:30
|
|
|
Organisations |
|
|
|
|