Сильная конструктивизируемость однородных моделей

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