Типовая редуцированность и мощные типы

В связи с проблемой существования стабильной теории с неглавным мощным типом рассматривается соотношение между структурой теории и структурой ее мощного типа: вводится понятие редуцированности теории над типом и доказывается, что в стабильной теории не может быть редуцированности над неглавным мощным типом. Определяется понятие $p$-главного $p$-типа и показывается, что в простой над реализацией типа р модели стабильной теории может реализовываться не $p$-главный $p$-тип (если бы это было невозможно, то неглавные мощные типы отсутствовали бы в стабильных теориях).
Библиогр. 12.