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



Батыршин Ильнур Ильдарович
| по годам | по типам | научные публикации | общий список |



   2025
1. R. Bagaviev, I.I. Batyrshin, N. Bazhenov, D. Bushtets, M. Dorzhieva, H.T. Koh, R. Kornev, A.G. Melnikov, K.M. Ng, “Computably and punctually universal spaces”, Annals of Pure and Applied Logic, 176:1 (2025), 1–31 https://www.sciencedirect.com/science/article/abs/pii/S0168007224000952?via  crossref

   2024
2. М. М. Арсланов, И. И. Батыршин, М. М. Ямалеев, “$CEA$-операторы и иерархия Ершова. I”, Алгебра и логика, 63:3 (2024), 248–270  mathnet  crossref; M. M. Arslanov, I. I. Batyrshin, M. M. Yamaleev, “$CEA$-operators and the Ershov hierarchy. I”, Algebra and Logic, 63:3 (2024), 164–178  crossref 2
3. И. И. Батыршин, Обратная математика (reverse mathematics). Учебно-методическое пособие, 2024 (опубликована online)  crossref

   2022
4. I. I. Batyrshin, Countable strict reverse mathematics, 2022 , 22 pp., arXiv: 2209.00108

   2021
5. М. М. Арсланов, И. И. Батыршин, М. М. Ямалеев, “$CEA$-операторы и иерархия Ершова”, Изв. вузов. Матем., 2021, № 8, 72–79  mathnet  crossref; M. M. Arslanov, I. I. Batyrshin, M. M. Yamaleev, “$CEA$ operators and the Ershov hierarchy”, Russian Math. (Iz. VUZ), 65:8 (2021), 63–69  crossref 1
6. И. И. Батыршин, “Асимптотическая плотность и вычислимость”, Изв. вузов. Матем., 2021, № 10, 3–14  mathnet  crossref; I. I. Batyrshin, “Asymptotic density and computability”, Russian Math. (Iz. VUZ), 65:10 (2021), 1–9  crossref
7. I. I. Batyrshin, “On 1-Degrees Inside m-Degrees”, Lobachevskii Journal of Mathematics, 42:12 (2021), 2740–2743 https://link.springer.com/article/10.1134  crossref  isi  scopus

   2017
8. И. И. Батыршин, “Несократимые, сингулярные и смежные степени”, Алгебра и логика, 56:3 (2017), 275–299  mathnet  crossref  isi  elib; I. I. Batyrshin, “Irreducible, sungular, and contiguous degrees”, Algebra and Logic, 56:3 (2017), 181–196  crossref  isi  scopus 4

   2014
9. И. И. Батыршин, “$Q$-сводимость и $m$-сводимость на вычислимо перечислимых множествах”, Сиб. матем. журн., 55:6 (2014), 1221–1239  mathnet  mathscinet  isi  elib; I. I. Batyrshin, “$Q$-reducibility and $m$-reducibility on computably enumerable sets”, Siberian Math. J., 55:6 (2014), 995–1008  crossref  mathscinet  isi  elib  scopus 3

   2010
10. И. И. Батыршин, “Изолированные 2-вычислимо перечислимые $Q$-степени”, Изв. вузов. Матем., 2010, № 4, 3–9  mathnet  mathscinet; I. I. Batyrshin, “Isolated 2-computably enumerable $Q$-degrees”, Russian Math. (Iz. VUZ), 54:4 (2010), 1–6  crossref  mathscinet  scopus 3

   2009
11. Ilnur I. Batyrshin, “Non-isolated quasi-degrees”, Mathematical Logic Quarterly, 55:6 (2009), 587-597 http://onlinelibrary.wiley.com/doi/10.1002/malq.200810026/full  crossref  mathscinet  zmath  scopus 3

   2008
12. И. И. Батыршин, “Относительная перечислимость в иерархии Ершова”, Матем. заметки, 84:4 (2008), 506–515  mathnet  crossref  mathscinet  zmath  isi  elib; I. I. Batyrshin, “Relative Enumerability in Ershov's Hierarchy”, Math. Notes, 84:4 (2008), 473–482  crossref  mathscinet  zmath  isi  elib  scopus 3
13. M. M. Arslanov, I. I. Batyrshin, R. Sh. Omanadze, “Structural properties of Q-degrees of n-c.e. sets”, Annals of Pure and Applied Logic, 156:1 (2008), 13-20 http://www.sciencedirect.com/science/article/pii/S016800720800081X  crossref  mathscinet  zmath  scopus 4

   2006
14. Ilnur I. Batyrshin, “Quasi-completeness and functions without fixed-points”, Mathematical Logic Quarterly, 52:6 (2006), 595-601 http://onlinelibrary.wiley.com/doi/10.1002/malq.200610017/full  crossref  mathscinet  zmath  adsnasa  scopus 6

   2004
15. И. З. Батыршин, И. И. Батыршин, “Строго монотонные операции на порядковых шкалах правдоподобности на основе мультимножеств”, Исслед. по информ., 8, Отечество, Казань, 2004, 41–46  mathnet
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025