Using Vaggione’s concept of central element in a double pointed algebra, we introduce the notion of Boolean like variety as a generalization of Boolean algebras to an arbitrary similarity type. Appropriately relaxing the requirement that every element be central in any member of the variety, we obtain the more general class of semi-Boolean like varieties, which still retain many of the pleasing properties of Boolean algebras. We prove that a double pointed variety is discriminator i↵ it is semi-Boolean like, idempotent, and 0-regular. This theorem yields a new Maltsev-style characterization of double pointed discriminator varieties. Moreover, we show that every idempotent semi-Boolean-like variety is term equivalent to a variety of noncommutative Boolean algebras with additional regular operations.
|Data di pubblicazione:||2013|
|Titolo:||Boolean like algebras|
|Titolo del libro:||Proceedings of the 6th Topology, Algebra and Categories in Logic (TACL 2013)|
|Appare nelle tipologie:||4.2 Abstract in Atti di convegno|