Universal Numbering for Constructive $I$-Algebras

Constructive Boolean algebras with distinguished ideals (we call them $I$-algebras in what follows) are studied. It is proved that a class of all constructive $I$-algebras is strongly computable, that is, the class of constructive $I$-algebras contains a principal computable numbering.