Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:
Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:
Функция , где K -перечислимое и неразрешимое, является:
Всякое бесконечное перечислимое множество:
Перечислимое множество с неперечислимым дополнением:
Перечислимое множество, для которого прямой пересчет его дополнения неограничен сверху вычислимой функцией является:
Среди перечислимых множеств множество, к которому m-сводится любое перечислимое множество X:
Универсальное перечислимое множество из N × N:
Перечислимое множество m-полно тогда и только тогда, когда его дополнение: