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

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

Статистика просмотров:
Эта страница:520
Страницы публикаций:2164
Полные тексты:676
Списки литературы:259
кандидат физико-математических наук (2013)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Сайт: https://ospichev.github.io
Ключевые слова: иерархия нумерации.

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

Свойства нумераций разностной иерархии.


https://www.mathnet.ru/rus/person32324
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2021
1. Н. А. Баженов, М. Мустафа, С. С. Оспичев, “Об универсальных парах в иерархии Ершова”, Сиб. матем. журн., 62:1 (2021),  31–41  mathnet  elib; N. A. Bazhenov, M. Mustafa, S. S. Ospichev, “On universal pairs in the Ershov hierarchy”, Siberian Math. J., 62:1 (2021), 23–31  isi  scopus
2020
2. Н. А. Баженов, М. Мустафа, С. С. Оспичев, М. М. Ямалеев, “О нумерациях в аналитической иерархии”, Алгебра и логика, 59:5 (2020),  594–599  mathnet; N. A. Bazhenov, M. Mustafa, S. S. Ospichev, M. M. Yamaleev, “Numberings in the analytical hierarchy”, Algebra and Logic, 59:5 (2020), 404–407  isi  scopus 7
3. S. Goncharov, S. Ospichev, D. Ponomaryov, D. Sviridenko, “The expressiveness of looping terms in the semantic programming”, Сиб. электрон. матем. изв., 17 (2020),  380–394  mathnet  isi 4
2019
4. С. С. Оспичев, “Фридберговы нумерации семейств частично вычислимых функционалов”, Сиб. электрон. матем. изв., 16 (2019),  331–339  mathnet  isi
2018
5. S. Ospichev, D. Ponomarev, “On the complexity of formulas in semantic programming”, Сиб. электрон. матем. изв., 15 (2018),  987–995  mathnet  isi 8
2015
6. С. С. Оспичев, “Фридберговы нумерации в иерархии Ершова”, Алгебра и логика, 54:4 (2015),  444–462  mathnet  mathscinet; S. S. Ospichev, “Friedberg numberings in the Ershov hierarchy”, Algebra and Logic, 54:4 (2015), 283–295  isi  scopus 11
7. С. С. Оспичев, “Вычислимые семейства множеств иерархии Ершова без главных нумераций”, Вестн. НГУ. Сер. матем., мех., информ., 15:1 (2015),  54–62  mathnet; S. S. Ospichev, “Computable families of sets in Ershov hierarchy without principal numberings”, J. Math. Sci., 215:4 (2016), 529–536 2
2011
8. С. С. Оспичев, “Бесконечное семейство $\Sigma^{-1}_{a}$-множеств с единственной вычислимой нумерацией”, Вестн. НГУ. Сер. матем., мех., информ., 11:2 (2011),  89–92  mathnet; S. S. Ospichev, “Infinite family of $\Sigma_a^{-1}$-Sets with only One Computable Numbering”, J. Math. Sci., 188:4 (2013), 449–451 6
2010
9. С. С. Оспичев, “Некоторые свойства нумераций различных классов иерархии Ершова”, Вестн. НГУ. Сер. матем., мех., информ., 10:4 (2010),  125–132  mathnet; S. S. Ospichev, “Some Properties of Numberings in Various Levels in Ershov's Hierarchy”, J. Math. Sci., 188:4 (2013), 441–448 5

Доклады и лекции в базе данных Math-Net.Ru
1. Rogers semilattices
С. С. Оспичев
Конференция международных математических центров мирового уровня
12 августа 2021 г. 16:40

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