Сильно конструктивные булевы алгебры

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