Проблема конечной аксиоматизируемости для сильно минимальных теорий графов

Доказывается, что из существования конечно аксиоматизируемой сильно минимальной теории графов следует существование такого связного графа с транзитивной группой автоморфизмов, что его теория конечно аксиоматизируема. Для таких графов описывается строение их групп автоморфизмов, доказывается неполиномиальность их роста, указываются некоторые геометрические свойства.