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

Построена указанная в заглавии теория, что отрицательно решает проблему существования конструктивизируемой модели для разрешимой теории, поставленную М. Г. Перетятькиным и С. Д. Денисовым в 1972 г. на конференции по математической логике.