Descriptors
Structure and definability in the lattice of equational theories , Strongly permutative semigroups , Better-quasi-ordering , Lattices L(Com) , Sublattice LS(SP) , Lattice L(SP) , Theories of L(SP) , Structure of L(SP) , Inclusion and the operations , Definability of the parameter n , Definability of the parameter J , Definability of regular equations , Theories generalized by substitutive equations , Theories generalized by parallel equations
