Свойство <tex>A_{\gamma}</tex> перечислимо для любого образца <tex>\gamma</tex>.
|proof =
Очевидно, как строится программа, которая возвращает 1, если Построим полуразрешитель <tex>p \in A_{\gamma}</tex> : <tex>q(запускаем p):</tex> for <tex>p\langle x_i, y_i\rangle \in \gamma</tex> на if <tex>xp(x_i) = y_i</tex>-ах и проверяем, что программа вернёт соответствующие <tex>y\perp</tex>-ки).Такой программы return 1Полуразрешителя достаточно для доказательства перечислимости.
}}
