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

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

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


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




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

Сибирский математический журнал, 2025, том 66, номер 2, страницы 131–146
DOI: https://doi.org/10.33048/smzh.2025.66.201 (Mi smj7933) 		 
О теории вычислимо перечислимых линейных предпорядков с конкатенацией

Д. Б. Алишa, Н. А. Баженовba, Б. С. Калмурзаевa

a Казахстанско-Британский технический университет, ул. Толе би, 59, Алматы 050000, Казахстан
b Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
PDF полного текста (313 kB) Первая страница Английская версия
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/smzh.2025.66.201
Аннотация: Предпорядок $R$ называют линейным, если соответствующий фактор-порядок является линейно упорядоченным. Данная работа посвящена изучению вычислимой сводимости на бинарных отношениях. В работе исследуется степенная структура Celps вычислимо перечислимых линейных предпорядков относительно вычислимой сводимости.
Операция конкатенации дает упорядоченную сумму двух данных линейных предпорядков. Доказано, что элементарная теория структуры Celps с операцией конкатенации рекурсивно изоморфна арифметике первого порядка. Также показано, что теория всех счетных линейных предпорядков (относительно вычислимой сводимости) с операцией конкатенации рекурсивно изоморфна арифметике второго порядка.
Ключевые слова: вычислимая сводимость, позитивный линейный предпорядок, вычислимо перечислимый предпорядок, арифметика первого порядка, счетный линейный предпорядок.
Финансовая поддержка Номер гранта
Министерство образования и науки Республики Казахстан AP19576325
Министерство науки и высшего образования Российской Федерации FWNF-2022-0011
Исследование поддержано Комитетом науки Министерства образования и науки Республики Казахстан (грант № AP19576325). Работа Н. А. Баженова выполнена в рамках государственного задания ИМ СО РАН (проект № FWNF-2022-0011).
Статья поступила: 20.08.2024
Окончательный вариант: 17.01.2025
Принята к печати: 25.02.2025
Английская версия:
Siberian Mathematical Journal, 2025, Volume 66, Issue 2, Pages 235–247
DOI: https://doi.org/10.1134/S0037446625020016
Тип публикации: Статья
УДК: 510.5
MSC: 35R30
Образец цитирования: Д. Б. Алиш, Н. А. Баженов, Б. С. Калмурзаев, “О теории вычислимо перечислимых линейных предпорядков с конкатенацией”, Сиб. матем. журн., 66:2 (2025), 131–146; Siberian Math. J., 66:2 (2025), 235–247
Цитирование в формате AMSBIB
\RBibitem{AliBazKal25}
\by Д.~Б.~Алиш, Н.~А.~Баженов, Б.~С.~Калмурзаев
\paper О~теории вычислимо перечислимых линейных предпорядков с~конкатенацией
\jour Сиб. матем. журн.
\yr 2025
\vol 66
\issue 2
\pages 131--146
\mathnet{http://mi.mathnet.ru/smj7933}
\transl
\jour Siberian Math. J.
\yr 2025
\vol 66
\issue 2
\pages 235--247
\crossref{https://doi.org/10.1134/S0037446625020016}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj7933
  • https://www.mathnet.ru/rus/smj/v66/i2/p131
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Сибирский математический журнал Siberian Mathematical Journal
    Статистика просмотров:
    Страница аннотации:160
    Список литературы:66
    Первая страница:53
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026