...-classes in ....-unipotent Semigroups.
Assume p* is a meager type in a superstable theory T. We investigate definability properties of p*-closure. We prove that if T has countable models then the multiplicity rank ℳ of every type p is finite. We improve Saffe’s conjecture.
A regular hypersubstitution is a mapping which takes every -ary operation symbol to an -ary term. A variety is called regular-solid if it contains all algebras derived by regular hypersubstitutions. We determine the greatest regular-solid variety of semigroups. This result will be used to give a new proof for the equational description of the greatest solid variety of semigroups. We show that every variety of semigroups which is finitely based by hyperidentities is also finitely based by identities....