О конструктивизируемости простой модели

Получены следующие результаты.
1. Существует полная разрешимая теория, которая имеет простую модель и сильно конструктивизируемую модель, простую над конечным множеством, но простая модель не конструктивизируема.
2. Существует полная разрешимая теория, которая имеет конструктивизируемую, но не сильно конструктивизируемую простую модель.
Библ. 2.