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

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

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

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

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


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

Публикации в базе данных Math-Net.Ru
2021
1. Н. А. Баженов, С. С. Оспичев, М. Мустафа, “Об универсальных парах в иерархии Ершова”, Сиб. матем. журн., 62:1 (2021),  31–41  mathnet
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
3. S. Goncharov, S. Ospichev, D. Ponomaryov, D. Sviridenko, “The expressiveness of looping terms in the semantic programming”, Сиб. электрон. матем. изв., 17 (2020),  380–394  mathnet  isi
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
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
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
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
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

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

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