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

Гиперграфы простых моделей и распределения счётных моделей малых теорий

С. В. Судоплатов

Аннотация

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

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

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

URL страницы: http://mech.math.msu.su/~fpm/rus/k09/k097/k09709h.htm
Изменения вносились 19 апреля 2010 г.