О нумерациях насыщенных и однородных моделей

Изучаются нумерации насыщенных и однородных моделей. Находится верхняя граница сложности нумераций счетной насыщенной модели и доказывается, что эта оценка является точной верхней гранью сложности счетной насыщенной модели в классе полных разрешимых тотально трансцендентных теорий. Доказывается также, что вопрос о существовании конструктивного однородного расширения для конструктивных и сильно конструктивных моделей решается отрицательно.
Библ. 10.