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

Множество X - $\alpha$ -перечислимо тогда и только тогда, когда для некоторого перечислимого множества E:

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

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

$X = E[\alpha ]$ (Верный ответ)

$E = X[\alpha ]$

$X \subset E[\alpha ]$

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

Свойство A(x), $x \in N$ перечислимо тогда и только тогда, когда:

Множество $X \subset N$ перечислимо тогда и только тогда, когда:

Множество X из N перечислимо тогда и только тогда, когда:

Для любого перечислимого множества X из декартового квадрата N существует вычислимая $f\colon N \to N$ :

Перечислимое множество m-полно тогда и только тогда, когда его дополнение:

Для универсального перечислимого множества W-перечислимо множество:

Частичная функция f вычислима относительно всюду определенной функции g тогда и только тогда, когда она:

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

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

Если $X \le_m Y$ и Y - перечислимо, то: