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

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