Счетные модели малых стабильных теорий

Изучаются счетные модели счетных полных стабильных теорий в связи с известной проблемой Вота о числе счетных моделей. Вводится класс $\operatorname{fl}$-типов и доказывается теорема об опускании $\operatorname{fl}$-типов в малых стабильных теориях. В качестве приложения этой теоремы выделяются некоторые классы счетных суперстабильных теорий, имеющих $2^\omega$ типов изоморфизма счетных моделей.
Библиогр. 4.