О мощных типах в малых теориях

Изучение мощных типов связано с проблемой о существовании стабильной теории с конечным числом счетных моделей. Определяются числа $n_V$, $n_E$, $n_3$ для формул и типов и даются оценки по этим параметрам для мощных типов малых не $\omega$-категоричных стабильных теорий; приводится характеризация мощных типов малых теорий; устанавливаются свойства мощных типов в стабильных теориях.
Библиогр. 15.