А. Г. Пинус, “О логической эквивалентности функциональных клонов”, Сиб. матем. журн., 2017, том 58, номер 4,страницы 864

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

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

А. Г. Пинус

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

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

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

УДК: 512.57

MSC: 35R30

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

DOI: 10.17377/smzh.2017.58.413