Разрешимые модели эренфойхтовых теорий

Изучаются счётные модели эренфойхтовых теорий, т. е. полных теорий с конечным числом счётных моделей, строго большим 1. Вводится понятие просто порождённой модели. Доказывается, что если у эренфойхтовой теории все полные типы имеют арифметическую сложность, то любая её просто порождённая модель обладает арифметически сложным изоморфным представлением.