Definability in the lattice of equational theories of semigroups.
Semigroup forum, Tome 46 (1993) no. 1, pp. 199-245
Voir la notice de l'article provenant de la source European Digital Mathematics Library
Zbl
Mots-clés :
lattices of equational theories of semigroups, first order definability, free semigroups, fully invariant congruences, theory of semilattices, ideal theories, partially ordered sets, word patterns, first order formula, good sets of equations, equational theories of finite semigroups, finitely axiomatizable locally finite theories
J. Jezek; R. McKenzie. Definability in the lattice of equational theories of semigroups.. Semigroup forum, Tome 46 (1993) no. 1, pp. 199-245. http://geodesic.mathdoc.fr/item/SF_1993__46_1_135231/
@article{SF_1993__46_1_135231,
author = {J. Jezek and R. McKenzie},
title = {Definability in the lattice of equational theories of semigroups.},
journal = {Semigroup forum},
pages = {199--245},
year = {1993},
volume = {46},
number = {1},
zbl = {0782.20051},
url = {http://geodesic.mathdoc.fr/item/SF_1993__46_1_135231/}
}