Изменения
Нет описания правки
{{Определение
|definition = Множество натуральных чисел <tex>A</tex> называется '''иммунным'''(англ. ''immune set''), если оно бесконечно и не содержит бесконечных перечислимых подмножеств.
}}
{{Определение
|definition = Множество натуральных чисел <tex>A</tex> называется '''простым'''(англ. '' simple set''), если <tex>A</tex> — перечислимое, бесконечное и дополнение <tex>A</tex> {{---}} иммунное.
}}
== Литература ==
* Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. — М.: МЦНМО, 1999. С. 134. ISBN 5-900916-36-7
* Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. — М.:Мир, 1972. С. 141-143.
