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

Вводится понянтие $F$-конструктивизации модели, где $F$ некоторый логический формализм, обобщающее понятия конструктивной и сильно конструктивной моделей. Формулируется обобщение теоремы Нуртазина о существовании $F$-конструктивизаций некоторой модели, не являющихся $F'$-конструктивизациями, для различных формализмов $F$ и $F'$. На основе этого получается ряд утверждений о существовании конструктивизации булевых алгебр с заданными условиями на рекурсивность ультрафильтров. Доказано также существование $F$-конструктивизации некоторых булевых алгебр, где $F$-формализм более сильный, чем УИП.
Библ. 14.