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

Для каждого $n\ge1$ строится $\aleph_1$-категоричная теория, имеющая ровно $n$ конструктивизируемых моделей. Построен также пример полной (неразрешимой) теории, имеющей $6$ с точностью до изоморфизма счетных моделей, из которых ровно две конструктивизируемы.
Библ. 5.