Ограниченные теории конструктивных булевых алгебр

В работе изучаются вопросы существования булевых алгебр с условиями на разрешимость ограниченных теорий для конструктивизаций этих алгебр. А именно показано, что существует булева алгебра, которая не сильно конструктивизируема, но имеет конструктивизацию, для которой все ограниченные теории разрешимы. Кроме того, для любого $n$ построена булева алгебра, у которой существует конструктивизация с разрешимой $n$-ограниченной теорией, но для любой конструктивизации $(n+1)$-ограниченная теория неразрешима.