О ФОРКИНГЕ ДЛЯ Δ − PM ТЕОРИИ И СТАБИЛЬНОСТЬ ЦЕНТРАЛЬНЫХ ТИПОВ Δ − PJ -ТЕОРИЙ В ОБОГАЩЁННОЙ СИГНАТУРЕ

Abstract

В статье [1] был определён класс Δ − PJ -теорий. Этот класс является позитивным обобщением класса йонсоновских теорий. В данной статье мы изучаем соответствующее понятие P -λ -стабильности (в смысле [2]) и соответствующее понятие синтаксического подобия (в смысле [4]) в некотором эквивалентном стиле в классе ∃+ -полных, совершенных Δ − PJ -теорий. А также мы рассматриваем некоторое обогащение сигнатуры таких теорий и в рамках некоторых манипуляций с символами новой сигнатуры относительно старой, мы определяем понятие центрального типа этих теорий.