Sciact
  • EN
  • RU

О теории вычислимо перечислимых линейных предпорядков с конкатенацией Научная публикация

Журнал Сибирский математический журнал
ISSN: 0037-4474
Вых. Данные Год: 2025, Том: 66, Номер: 2, Страницы: 131-146 Страниц : 15 DOI: 10.33048/smzh.2025.66.201
Ключевые слова вычислимая сводимость, позитивный линейный предпорядок, вычислимо перечислимый предпорядок, арифметика первого порядка, счетный линейный предпорядок.
Авторы Алиш Д.Б. 1 , Баженов Н.А. 1,2 , Калмурзаев Б.С. 1
Организации
1 Казахстанско-Британский технический университет, ул. Толе би, 59, Алматы 050000, Казахстан
2 Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090;

Информация о финансировании (1)

1 Институт математики им. С.Л. Соболева СО РАН FWNF-2022-0011

Реферат: Предпорядок R называют линейным, если соответствующий факторпорядок является линейно упорядоченным. Данная работа посвящена изучению вычислимой сводимости на бинарных отношениях. В работе исследуется степенная структура Celps вычислимо перечислимых линейных предпорядков относительно вычислимой сводимости. Операция конкатенации дает упорядоченную сумму двух данных линейных предпорядков. Доказано, что элементарная теория структуры Celps с операцией конкатенации рекурсивно изоморфна арифметике первого порядка. Также показано, что теория всех счетных линейных предпорядков (относительно вычислимой сводимости) с операцией конкатенации рекурсивно изоморфна арифметике второго порядка.
Библиографическая ссылка: Алиш Д.Б. , Баженов Н.А. , Калмурзаев Б.С.
О теории вычислимо перечислимых линейных предпорядков с конкатенацией
Сибирский математический журнал. 2025. Т.66. №2. С.131-146. DOI: 10.33048/smzh.2025.66.201 РИНЦ
Переводная: Alish D.B. , Bazhenov N.A. , Kalmurzaev B.S.
On the Theory of Computably Enumerable Linear Preorders with Concatenation
Siberian Mathematical Journal. 2025. V.66. N2. P.235–247. DOI: 10.1134/S0037446625020016 WOS Scopus РИНЦ OpenAlex
Даты:
Поступила в редакцию: 20 авг. 2024 г.
Принята к публикации: 25 февр. 2025 г.
Опубликована в печати: 2 апр. 2025 г.
Опубликована online: 2 апр. 2025 г.
Идентификаторы БД:
РИНЦ: 80537541
Цитирование в БД: Пока нет цитирований
Альметрики: