Элементарные пары примитивно нормальных теорий

Основной целью работы является доказательство замкнутости классов примитивно нормальных, примитивно связных, антиаддитивных и аддитивных теорий относительно операции $P$-обогащения. Это явление весьма примечательно, так как главные “структурные” классы теорий, изучаемые в теории моделей, такие, как стабильные, тотально трансцендентные и др., этой замкнутостью не обладают. Кроме этого доказывается $P$-стабильность примитивно связных теорий, а также приводится пример примитивно связной теории, имеющей модели, которые не являются примитивно связными.