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

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Сиб. электрон. матем. изв.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Сибирские электронные математические известия, 2016, том 13, страницы 148–153
DOI: https://doi.org/10.17377/semi.2016.13.013 (Mi semr663) 		 
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)

Математическая логика, алгебра и теория чисел

Неразрешимость элементарных теорий полурешеток Роджерса аналитической иерархии

М. В. Доржиева

Novosibirsk State University, st. Pirogova, 2 630090, Novosibirsk, Russia
PDF полного текста (145 kB) Список цитирования (5)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17377/semi.2016.13.013
Аннотация: We prove that the elementary theory of any nontrivial Rogers semilattice for analytical sets of bounded complexity is hereditarily undecidable. We also prove some results on the existence of minimal numberings in such lattices.
Ключевые слова: analitycal hierarchy, computable numberings, minimal numberings, Rogers semilattices.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 14-01-31278_мол_а
Работа поддержана РФФИ (грант 14-01-31278 мол-а).
Поступила 10 апреля 2014 г., опубликована 16 марта 2016 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 512.5
MSC: 13A99
Образец цитирования: М. В. Доржиева, “Неразрешимость элементарных теорий полурешеток Роджерса аналитической иерархии”, Сиб. электрон. матем. изв., 13 (2016), 148–153
Цитирование в формате AMSBIB
\RBibitem{Dor16}
\by М.~В.~Доржиева
\paper Неразрешимость элементарных теорий полурешеток Роджерса аналитической иерархии
\jour Сиб. электрон. матем. изв.
\yr 2016
\vol 13
\pages 148--153
\mathnet{http://mi.mathnet.ru/semr663}
\crossref{https://doi.org/10.17377/semi.2016.13.013}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr663
  • https://www.mathnet.ru/rus/semr/v13/p148
    • Эта публикация цитируется в следующих 5 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:195
    PDF полного текста:54
    Список литературы:53
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024