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

Доказано, что сильно минимальная не категоричная в счетной мощности теория графов ограниченной валентности с неединичным числом концов не является конечно-аксиоматизируемой. Следствие: конечно-порожденные бесконечные группы с неединичным числом концов не содержат такого конечного множества классов сопряженных элементов, что каждая нетривиальная циклическая подгруппа имеет нетривиальное пересечение с одним из этих классов.