Об одном классе гиперпростых неполных множеств

Доказано, что класс рекурсивно перечислимых множеств с ретрассируемыми дополнениями, имеющих гипергиперпростые надмножества, непуст и содержит только неполные относительно сводимости по Тьюрингу множества. Библиогр. 11 назв.