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

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

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


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




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

Сибирский математический журнал, 2017, том 58, номер 6, страницы 1236–1251
DOI: https://doi.org/10.17377/smzh.2017.58.605 (Mi smj2934) 		 
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Вычислимость дистрибутивных решеток

Н. А. Баженовab, А. Н. Фроловc, И. Ш. Калимуллинc, А. Г. Мельниковd

a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
b Новосибирский гос. университет, ул. Пирогова, 2, Новосибирск 630090
c Казанский (Приволжский) федеральный университет, ул. Кремлевская, 18, Казань 420008
d The Institute of Natural and Mathematical Sciences, Massey University, New Zealand
PDF полного текста (370 kB) Список цитирования (4)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17377/smzh.2017.58.605
Аннотация: Класс (не обязательно дистрибутивных) счетных решеток универсален в смысле Хиршфельдта–Хусаинова–Шора–Слинко, а с другой стороны, известно, что класс счетных линейных порядков не универсален относительно как спектров степеней, так и вычислимой категоричности. Исследуется промежуточный класс дистрибутивных решеток. Строится дистрибутивная решетка со спектром степеней $\{\mathbf d\colon\mathbf d\neq\mathbf0\}$. До сих пор неизвестно, существует ли линейный порядок с таким свойством. Установлено, что существует вычислимо категоричная дистрибутивная решетка, не являющаяся относительно $\Delta^0_2$-категоричной. Хорошо известно, что не существует линейных порядков с таким свойством. Вопрос об универсальности счетных дистрибутивных решеток остается открытым.
Ключевые слова: дистрибутивная решетка, вычислимая структура, спектр степеней, вычислимая категоричность.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 16-31-60058-мол_а_дк
16-31-60077-мол_а_дк
15-41-02507
Министерство образования и науки Российской Федерации 1.451.2016/1.4
Marsden Fund of New Zealand
Massey University Early Career Research Fund
Работа выполнена Н. А. Баженовым при финансовой поддержке Российского фонда фундаментальных исследований (код проекта 16-31-60058-мол_а_дк), А. Н. Фроловым – при финансовой поддержке Российского фонда фундаментальных исследований (код проекта 16-31-60077-мол_а_дк), И. Ш. Калимуллиным – при финансовой поддержке Российского фонда фундаментальных исследований (код проекта 15-41-02507) и Минобрнауки РФ (код проекта 1.451.2016/1.4), А. Г. Мельниковым – частично при финансовой поддержке Marsden Fund of New Zealand и Massey University Early Career Research Fund.
Статья поступила: 27.11.2016
Англоязычная версия:
Siberian Mathematical Journal, 2017, Volume 58, Issue 6, Pages 959–970
DOI: https://doi.org/10.1134/S0037446617060052
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.5+512.565.2
MSC: 35R30
Образец цитирования: Н. А. Баженов, А. Н. Фролов, И. Ш. Калимуллин, А. Г. Мельников, “Вычислимость дистрибутивных решеток”, Сиб. матем. журн., 58:6 (2017), 1236–1251; Siberian Math. J., 58:6 (2017), 959–970
Цитирование в формате AMSBIB
\RBibitem{BazFroKal17}
\by Н.~А.~Баженов, А.~Н.~Фролов, И.~Ш.~Калимуллин, А.~Г.~Мельников
\paper Вычислимость дистрибутивных решеток
\jour Сиб. матем. журн.
\yr 2017
\vol 58
\issue 6
\pages 1236--1251
\mathnet{http://mi.mathnet.ru/smj2934}
\crossref{https://doi.org/10.17377/smzh.2017.58.605}
\elib{https://elibrary.ru/item.asp?id=30556271}
\transl
\jour Siberian Math. J.
\yr 2017
\vol 58
\issue 6
\pages 959--970
\crossref{https://doi.org/10.1134/S0037446617060052}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000425153500005}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85042141013}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj2934
  • https://www.mathnet.ru/rus/smj/v58/i6/p1236
    • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Сибирский математический журнал Siberian Mathematical Journal
    Статистика просмотров:
    Страница аннотации:250
    PDF полного текста:50
    Список литературы:39
    Первая страница:9
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024