The Decidability of the Theory of Boolean Algebras with the Quantifier "There Exist Infinitely Many"
Martin Weese · Proceedings of the American Mathematical Society · 1977
Martin Weese, The Decidability of the Theory of Boolean Algebras with the Quantifier "There Exist Infinitely Many", Proceedings of the American Mathematical Society, Vol. 64, No. 1 (May, 1977), pp. 135-138