$\Sigma$-предикаты конечных типов над допустимым множеством

Статья содержит построение и систематическое изложение основных свойств $\Sigma$-предикатов конечных типов над произвольным допустимым множеством. Устанавливаются теоремы о существовании главных вычислимых нумераций и о неподвижной точке.