RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив

Сиб. матем. журн., 2017, том 58, номер 4, страницы 864–869 (Mi smj2904)

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

О логической эквивалентности функциональных клонов

А. Г. Пинус

Новосибирский гос. технический университет, пр. К. Маркса, 20, Новосибирск 630092

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

Ключевые слова: функциональный клон, бескванторно формульное множество универсальных алгебр, условный терм.

УДК: 512.57

MSC: 35R30

Статья поступила: 30.06.2016

DOI: 10.17377/smzh.2017.58.413


 Англоязычная версия: Siberian Mathematical Journal, 2017, 58:4, 672–675

Реферативные базы данных:


© МИАН, 2024