Конструктивные модели полных разрешимых теорий

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