Теории булевых алгебр в исчислении с квантором “существует бесконечно много”

Доказывается разрешимость теории всех булевых алгебр в исчислении с квантором “существует бесконечно много”. Описываются категоричные теории булевых алгебр в этом исчислении. Показана сильная конструктивизируемость в этом исчислении конструктивизируемых $\omega$-атомных булевых алгебр.