Универсальная нумерация конструктивных $I$-алгебр

Изучаются конструктивные булевы алгебры с выделенными идеалами (в дальнейшем $I$-алгебры). Доказывается, что класс всех конструктивных $I$-алгебр строго вычислим, то есть в классе конструктивных $I$-алгебр существует главная вычислимая нумерация.