Конструктивные модели $\aleph_1$-категоричных теорий

Строится пример $\aleph_1$-, но не $\aleph_0$-категоричной теории, у которой конструктивизируема только простая модель. Библ. 6 назв.