ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2009, ТОМ 15, ВЫПУСК 2, СТР. 145-167

Интерпретация графов в некоммутативных теориях степеней Фреше

Е. А. Палютин

Аннотация

Посмотреть как HTML    Посмотреть как рисунок

Основным результатом работы является теорема о том, что если аксиоматизируемый класс структур $K$ замкнут относительно приведённых степеней по фильтру Фреше и имеет стабильную некоммутативную теорию, то в классе $K$ можно проинтерпретировать класс всех графов.

Полнотекстовая версия статьи в формате PDF (247 Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/k09/k092/k09207h.htm
Изменения вносились 22 декабря 2009 г.