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

Перечислимое неразрешимое множество;

Перечислимое множество с неперечислимым дополнением:

Перечислимо всякое множество, если оно:

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

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

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

Универсальное перечислимое множество из N × N:

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

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

Любое перечислимое свойство: