Почти вычислимо перечислимые семейства множеств

Построено почти вычислимо перечислимое семейство, не являющееся $\varnothing'$-вычислимо перечислимым. Более того, установлено, что для любого вычислимо перечислимого (в.п.) множества $A$ существует семейство, являющееся $X$-в.п. тогда и только тогда, когда множество $X$ не является $A$-вычислимым.
Библиография: 5 названий.