FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

2013, VOLUME 18, NUMBER 4, PAGES 197-

Algebraic geometry over Boolean algebras in the language with constants

A. N. Shevlyakov

Abstract

View as HTML     View as gif image

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

Location: http://mech.math.msu.su/~fpm/eng/k13/k134/k13414h.htm
Last modified: May 13, 2014