Обобщенная вычислимость и дескриптивная теория множеств

Строится обобщенно-конструктивное пространство Бэра относительно вычислимости с оракулом. Точками являются вычислимые последовательности натуральных чисел; $B$-множества, $A$-множества, гомеоморфизм, решето определяются посредством подходящих вычислимых процессов. Основные конструкции, связанные со свойствами $B$-множеств, автоматически переносятся на рассматриваемое пространство, когда оракул решает собственную проблему остановки.
Для моделирования основных свойств $A$-множеств строятся оракулы, разрешающие проблемы непустоты и несчетности $B$-множеств.