Аннотация:
Доказано, что класс рекурсивно перечислимых множеств с ретрассируемыми дополнениями, имеющих гипергиперпростые надмножества, непуст и содержит только неполные относительно сводимости по Тьюрингу множества. Библиогр. 11 назв.
Roland Sh. Omanadze, Andrea Sorbi, “Strong Enumeration Reducibilities”, Arch. Math. Logic, 45:7 (2006), 869
Р. Ш. Оманадзе, “Мажорные множества, классы простых множеств и $Q$-полные множества”, Матем. заметки, 71:1 (2002), 100–108; R. Sh. Omanadze, “Major Sets, Classes of Simple Sets, and $Q$-Complete Sets”, Math. Notes, 71:1 (2002), 90–97
Ан. А. Мучник, С. Е. Посицельский, “Об одном классе перечислимых множеств”, УМН, 54:3(327) (1999), 171–172; An. A. Muchnik, S. E. Positsel'skii, “A class of enumerable sets”, Russian Math. Surveys, 54:3 (1999), 640–641