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

Изучаются счетные модели счетных суперстабильных теорий, имеющих бесконечные модели. Доказана одна теорема об опускании типов. Установлены различные свойства суперстабильных теорий с малым числом счетных моделей.