Algebraic geometry over Boolean algebras in the language with constants
Rings and Algebras
2013-05-30 v1
Abstract
We study equations over boolean algebras with distinguished elements. We prove the criteria, when a boolean algebra is equationally Noetherian, weakly equationally Noetherian, -compact or -compact. Also we solve the problem of geometric equivalence in the class of boolean algebras with distinguished elements.
Cite
@article{arxiv.1305.6844,
title = {Algebraic geometry over Boolean algebras in the language with constants},
author = {Artem N. Shevlyakov},
journal= {arXiv preprint arXiv:1305.6844},
year = {2013}
}