2014/01/12 by Artem N. Shevlyakov, Shevlyakov, Artem N.
Mathematics · #Algebraic Geometry (math.AG) #FOS: Mathematics #Rings and Algebras (math.RA) #math.AG #math.RA
paper · pdf · doi:10.48550/arxiv.1401.2608
arxiv created 2014/01/12 · arxiv updated 2014/01/14
We deal with equations over free semilattice of infinite rank and prove that any infinite consistent system of equations is equivalent to its finite subsystem. Moreover, we describe irreducible algebraic sets and solve some algorithmic problems.