А. С. Морозов, Д. А. Тусупов, “Минимальные предикаты относительно $\Delta$-определимости”, Алгебра и логика, 2020, том 59, номер 4,страницы 480

Эта публикация цитируется в 3 статьях

Минимальные предикаты относительно $\Delta$-определимости

А. С. Морозов^ab, Д. А. Тусупов^c

^a Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
^b Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
^c Евразийский нац. ун-т им. Л. Н. Гумилева, г. Астана, КАЗАХСТАН

Аннотация: Рассматривается два вида сводимостей на конечных семействах предикатов на счётном множестве: определимость предикатов и их дополнений из одного семейства через другое посредством экзистенциальных формул с параметрами и такая же определимость на типах изоморфизма семейств. Описываются возникающие при этом упорядоченные структуры степеней, порождаемые семействами одноместных предикатов. Для обеих сводимостей доказывается существование континуума минимальных ненулевых степеней.

Ключевые слова: $\Delta$-определимость, экзистенциальная формула, упорядоченная структура степеней, минимальные степени.

УДК: 512.5:510.6

Поступило: 04.12.2019
Окончательный вариант: 24.11.2020

DOI: 10.33048/alglog.2020.59.405