Свойство $t$-ретрассируемости и автоморфизмы решетки рекурсивно-перечислимых множеств

Доказывается, что равномерно гиперпростые множества с ретрассируемыми дополнениями имеют единственную с точностью до изоморфизма решетку рекурсивно-перечислимых надмножеств. Обсуждаются вопросы, связанные со свойством $t$-ретрассируемости и автоморфизмами решетки рекурсивно-перечислимых множеств.