A solid variety is a variety in which every identity holds as a hyperidentity, that is, we substitute not only elements for the variables but also term operations for the operational symbols. There are obvious necessary conditions for a variety of semigroups to be solid. We will show here that these
All Varieties of Bands I
β Scribed by Charles F. Fennemore
- Publisher
- John Wiley and Sons
- Year
- 1971
- Tongue
- English
- Weight
- 510 KB
- Volume
- 48
- Category
- Article
- ISSN
- 0025-584X
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
There are exactly three non-trivial solid varieties of semirings, the variety of all rectangular semirings, the variety V NID of all normal, idempotent, distributive semirings, and the subvariety of V NID which is defined by the additional identity x + y y + x β xy + yx.  2002 Elsevier Science (USA
It is known that all subvarieties of MV-algebras are finitely axiomatizable. In the literature, one can find equational characterizations of certain subvarieties, such as MV -algebras. In this paper we write down equational bases for all MV-varieties n and prove a representation theorem for each sub
MV-algebras are the Lindenbaum algebras for Εukasiewicz's infinite-valued logic, just as Boolean algebras correspond to the classical propositional calculus. The finitely generated subvarieties of the variety M M of all MV-algebras are generated by finite chains. We develop a natural duality, in the