A note on finite sets of terms closed under subterms and unification

Jaroslav Ježek

Displaying similar documents to “A note on finite sets of terms closed under subterms and unification”

Three-variable equations of posets

Jaroslav Ježek (2002)

Czechoslovak Mathematical Journal

Similarity:

We find an independent base for three-variable equations of posets.

Constructions of (2,n)-varieties of groupoids for n = 7, 8, 9

Lidija Goraèinova-Ilieva, Smile Markovski (2007)

Publications de l'Institut Mathématique

Similarity:

Small idempotent clones. I

Józef Dudek (1998)

Czechoslovak Mathematical Journal

Similarity:

G. Grätzer and A. Kisielewicz devoted one section of their survey paper concerning $p_{n}$ -sequences and free spectra of algebras to the topic “Small idempotent clones” (see Section 6 of [18]). Many authors, e.g., [8], [14, 15], [22], [25] and [29, 30] were interested in $p_{n}$ -sequences of idempotent algebras with small rates of growth. In this paper we continue this topic and characterize all idempotent groupoids $(G, \cdot)$ with $p_{2} (G, \cdot) \leq 2$ (see Section 7). Such groupoids appear in many papers see, e.g. [1], [4],...

Distributive groupoids are symmetric-by-medial: An elementary proof

David Stanovský (2008)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We present an elementary proof (purely in equational logic) that distributive groupoids are symmetric-by-medial.