Algebraic geometry over Boolean algebras in the language with constants

We study equations over Boolean algebras with distinguished elements. We prove criteria for when a Boolean algebra is equationally Noetherian, weakly equationally Noetherian, $\mathbf q_\omega$-compact, or $\mathbf u_\omega$-compact. Also we solve the problem of geometric equivalence in the class of Boolean algebras with distinguished elements.