Свойства нерасщепимых типов в стабильных теориях

Изучаются понятия нерасщепимости и определенности типов, введенные Шелахом, Ласкаром. Доказываются эквивалентность этих понятий для типов над моделью; единственность нерасщепимого расширения для типов в стабильной теории. Полученные результаты, в частности, позволяют существенно улучшить аналогичные оценки числа нерасщепимых типов, приводимые Шелахом.
Библ. 8.