Элементы алгебраической геометрии над булевыми алгебрами с выделенными элементами

В статье изучаются уравнения над булевыми алгебрами с выделенными элементами. Доказаны критерии принадлежности булевой алгебры с выделенными элементами к классам нётеровых по уравнениям, слабо нётеровых по уравнениям, $\mathbf q_\omega$-компактных и $\mathbf u_\omega$-компактных булевых алгебр. Решена проблема геометрической эквивалентности булевых алгебр с выделенными элементами.