Algebraic geometry over free semilattice

Abstract

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.

Cited by in corpus (2)

• Finite subsemigroups of free left regular bands
• Lectures notes in universal algebraic geometry