TY - JOUR
T1 - Algebraic geometry over algebraic structures. IV. Equational domains and codomains
AU - Daniyarova, E. Yu
AU - Myasnikov, A. G.
AU - Remeslennikov, V. N.
PY - 2011/1
Y1 - 2011/1
N2 - We introduce and study equational domains and equational codomains. Informally, an equational domain is an algebra every finite union of algebraic sets over which is an algebraic set; an equational codomain is an algebra every proper finite union of algebraic sets over which is not an algebraic set.
AB - We introduce and study equational domains and equational codomains. Informally, an equational domain is an algebra every finite union of algebraic sets over which is an algebraic set; an equational codomain is an algebra every proper finite union of algebraic sets over which is not an algebraic set.
KW - algebra
KW - algebraic set
KW - codiscriminating algebra
KW - discriminating algebra
KW - disjunctive equation
KW - equational codomain
KW - equational domain
KW - universal algebraic geometry
UR - http://www.scopus.com/inward/record.url?scp=79952248324&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79952248324&partnerID=8YFLogxK
U2 - 10.1007/s10469-011-9112-2
DO - 10.1007/s10469-011-9112-2
M3 - Article
AN - SCOPUS:79952248324
SN - 0002-5232
VL - 49
SP - 483
EP - 508
JO - Algebra and Logic
JF - Algebra and Logic
IS - 6
ER -