m-полное множество относительно m-сводимости - это множество:

Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:

Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:

Если U - главная универсальная функция, а X - множество натуральных чисел n, где U_n - нигде не определена, то U_n:

Среди перечислимых множеств множество, к которому m-сводится любое перечислимое множество X:

Множество X - эффективно неперечислимо, если существует всюду определенная вычислимая W-универсальная функция f:

Множество X - эффективно бесконечное, если алгоритм конструирования по любому n различных элементов из X:

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

Множество всех показателей n, для которых существует целое решение уравнения xⁿ+yⁿ=zⁿ всегда:

Множество А является I-соответствующей множеству В, если:

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