Аннотация:
Найдено необходимое и достаточное условие для существования универсальной $\Sigma$-функции в наследственно конечной надстройке. Показаны применения этого критерия для различных известных классов структур.
Ключевые слова и фразы:наследственно конечная надстройка, универсальная $\Sigma$-функция, $\Sigma_{\omega}$-ограниченная структура, $\Sigma_f$-ограниченная структура.
УДК:
512.540+510.5
Статья поступила: 18.02.2021 Переработанный вариант: 21.07.2021 Принята к публикации: 30.08.2021
Полный текст:
PDF файл (288 kB)