Основы теории вычислимых функций

Класс $\Sigma_n$ является:

(Отметьте один правильный вариант ответа.)

Варианты ответа

наследственным и вниз, и вверх

наследственным вверх

наследственным вниз(Верный ответ)

Похожие вопросы

Универсальное $\Sigma_n$ множество:

Отрицания свойств из класса $\Sigma_n$ :

Классы $\Sigma_n$ и $\Pi_n$ :

Для любого n в классе $\Sigma_n$ :

При любом n любое множество из класса $\Sigma_n$ :

Свойство A принадлежит классу $\Sigma_n$ , если для некоторого разрешимого свойства В:

Если $X,Y \in \Sigma_n$ , то:

Если $X \in \Sigma_n$ , то:

Если $X \le_m Y,Y \in \Sigma_n$ , то: