Эффективно гипериммунные множества и мажоранты

Изучаются совокупности эффективно иммунных и эффективно гипериммунных множеств. Установлено, что любое эффективно иммунное множество, являющееся булевой комбинацией рекурсивно перечислимых множеств, имеет полную тьюрингову степень, каждое эффективно гипериммунное множество эффективно иммунно, а бесконечные множества, мажорирующие все частично-рекурсивные функции, эффективно гипериммунны, и каждое эффективно гипериммунное множество мажорирует все общерекурсивные функции. Библиогр. 12 назв.