This paper deals with notions of (equational) definability of principal ideals in subtractive varieties. These notions are first characterized in several different ways. The strongest notion (EDPI) is then further investigated. We introduce the variety of MINI algebras (a generalization of Hilbert algebras) and we show that they are a paradigm for subtractive EDPI varieties. Finally we deal with principal ideal operations, and in particular with the cases of meet and join of principal ideals being equationally definable.
|Titolo:||On subtractive varieties IV: Definability of principal ideals|
|Appare nelle tipologie:||1.1 Articolo in rivista|
File in questo prodotto: