О конечно-порожденных моделях

Доказано, что если в теории $T$ над любым конечным множеством существует простая модель, то любая счетная модель этой теории есть объединение элементарной цепи конечно-порожденных моделей.
Библиогр. 3.