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

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

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



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






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


Известия высших учебных заведений. Математика, 2016, номер 6, страницы 15–26 (Mi ivm9119)  

Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Начальные сегменты вычислимых линейных порядков с вычислимыми естественными отношениями

Р. И. Бикмухаметов

Казанский (Приволжский) федеральный университет, ул. Кремлевская, д. 18, г. Казань, 420008, Россия
Список литературы:
Аннотация: В работе изучается алгоритмическая сложность естественных отношений на начальных сегментах вычислимых линейных порядков. Доказано, что существует вычислимый линейный порядок с вычислимым отношением плотности такой, что его $\Pi^0_1$-начальный сегмент не имеет вычислимого представления с вычислимым отношением плотности. Получены аналогичные результаты для отношений предельности справа и предельности слева.
Ключевые слова: линейные порядки, начальные сегменты, отношение плотности, отношение предельности справа, отношение предельности слева.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 15-41-02507
15-31-20607
15-01-08252
Министерство образования и науки Российской Федерации 1.2045.2014
Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проекты № № 15-41-02507, 15-31-20607 и 15-01-08252), а также за счет средств субсидии, выделенной в рамках проектной части госзадания Казанского (Приволжского) федерального университета (проект № 1.2045.2014).
Поступила: 17.10.2014
Исправленный вариант: 19.01.2015
Англоязычная версия:
Russian Mathematics (Izvestiya VUZ. Matematika), 2016, Volume 60, Issue 6, Pages 12–20
DOI: https://doi.org/10.3103/S1066369X16060025
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.532
Образец цитирования: Р. И. Бикмухаметов, “Начальные сегменты вычислимых линейных порядков с вычислимыми естественными отношениями”, Изв. вузов. Матем., 2016, № 6, 15–26; Russian Math. (Iz. VUZ), 60:6 (2016), 12–20
Цитирование в формате AMSBIB
\RBibitem{Bik16}
\by Р.~И.~Бикмухаметов
\paper Начальные сегменты вычислимых линейных порядков с~вычислимыми естественными отношениями
\jour Изв. вузов. Матем.
\yr 2016
\issue 6
\pages 15--26
\mathnet{http://mi.mathnet.ru/ivm9119}
\transl
\jour Russian Math. (Iz. VUZ)
\yr 2016
\vol 60
\issue 6
\pages 12--20
\crossref{https://doi.org/10.3103/S1066369X16060025}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000409300600002}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84971325377}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ivm9119
  • https://www.mathnet.ru/rus/ivm/y2016/i6/p15
  • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Известия высших учебных заведений. Математика Russian Mathematics (Izvestiya VUZ. Matematika)
    Статистика просмотров:
    Страница аннотации:186
    PDF полного текста:34
    Список литературы:52
    Первая страница:21
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024