3 citations · 14 across the 19 of their papers we have counts for
6 papers · 1 filter
On disjunction of equations in completely regular semigroups
Artem N. Shevlyakov
A semigroup is called an equational domain if any finite union of algebraic sets over is algebraic. We prove if a completely regular semigroup is an equational domain t…
On disjunction of equations in inverse semigroups
Artem N. Shevlyakov
A semigroup is an equational domain if any finite union of algebraic sets over is algebraic. We prove that if an inverse semigroup is an equational domain in the extend…
On disjunction of equations in the semigroup language with no constants
Artem N. Shevlyakov
A semigroup is an equational domain if any finite union of algebraic sets over is algebraic. We prove that every nontrivial semigroup in the standard language i…
Algebraic geometry over Boolean algebras in the language with constants
Artem N. Shevlyakov
We study equations over boolean algebras with distinguished elements. We prove the criteria, when a boolean algebra is equationally Noetherian, weakly equationally Noetherian, $\ma…
On disjunctions of equations over finite simple semigroups
Artem N. Shevlyakov
A semigroup is called an equational domain if any finite union of algebraic sets over is algebraic. For a finite simple semigroup we find necessary and sufficient condition…
On disjunctions of equations over semigroups
Artem N. Shevlyakov
A semigroup is called an equational domain (e.d.) if any finite union of algebraic sets over is algebraic. For a semigroup with a finite ideal we find the necessary and…