Бесконечное множество, не содержащее бесконечных разрешимых подмножеств является:

Всякое бесконечное перечислимое множество:

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

Множество является примитивно рекурсивной, если его характеристическая функция:

Множество всех программ, останавливающихся хотя бы на одном входе является:

Перечислимое множество, для которого прямой пересчет его дополнения неограничен сверху вычислимой функцией является:

Два главных универсальных множества для класса перечислимых подмножеств N:

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

Иммунное множество - это множество:

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

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