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

Получен следующий результат: для любых $m$, $n$, $0<m\leqslant n\leqslant\omega$, существует полная разрешимая теория, имеющая ровно $n$ сильно конструктивизируемых моделей, из которых ровно $m$ однородных. Библ. 3 назв.