|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Минимальные предикаты относительно $\Delta$-определимости
А. С. Морозовab, Д. А. Тусуповc a Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
b Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
c Евразийский нац. ун-т им. Л. Н. Гумилева, г. Астана, КАЗАХСТАН
Аннотация:
Рассматривается два вида сводимостей на конечных семействах предикатов на счётном множестве: определимость предикатов и их дополнений из одного семейства через другое посредством экзистенциальных формул с параметрами и такая же определимость на типах изоморфизма семейств. Описываются возникающие при этом упорядоченные структуры степеней, порождаемые семействами одноместных предикатов. Для обеих сводимостей доказывается существование континуума минимальных ненулевых степеней.
Ключевые слова:
$\Delta$-определимость, экзистенциальная формула, упорядоченная структура степеней, минимальные степени.
Поступило: 04.12.2019 Окончательный вариант: 24.11.2020
Образец цитирования:
А. С. Морозов, Д. А. Тусупов, “Минимальные предикаты относительно $\Delta$-определимости”, Алгебра и логика, 59:4 (2020), 480–499; Algebra and Logic, 59:4 (2020), 328–340
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2628 https://www.mathnet.ru/rus/al/v59/i4/p480
|
Статистика просмотров: |
Страница аннотации: | 163 | PDF полного текста: | 28 | Список литературы: | 18 | Первая страница: | 4 |
|