|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Примитивно рекурсивно категоричные линейные порядки
К. В. Блинов Новосибирский гос. университет,
ул. Пирогова, 1, Новосибирск 630090
Аннотация:
Доказано, что линейные порядки примитивно рекурсивно категоричны над классом структур $K_\Sigma$ тогда и только тогда, когда в них содержится лишь конечное число соседних пар.
Ключевые слова:
примитивно рекурсивная категоричность, линейные порядки, разрешимость с примитивно рекурсивными свидетелями.
Статья поступила: 23.04.2018 Окончательный вариант: 04.09.2018 Принята к печати: 17.10.2018
Образец цитирования:
К. В. Блинов, “Примитивно рекурсивно категоричные линейные порядки”, Сиб. матем. журн., 60:1 (2019), 28–36; Siberian Math. J., 60:1 (2019), 20–26
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3056 https://www.mathnet.ru/rus/smj/v60/i1/p28
|
Статистика просмотров: |
Страница аннотации: | 289 | PDF полного текста: | 47 | Список литературы: | 39 | Первая страница: | 5 |
|