Булевозначный универсум как алгебраическая система. II. Интенсиональные иерархии

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