Найдены синтаксические условия достаточные для существования модельного компаньона индуктивной счетной теории.
индуктивная теория, алгебраически простая модель
1. Barwise J., Robinson A. Completing theories by forcing, Annals of Mathem. Logic, v.2, num. 2,1970, 119-142