On subtractive varieties. IV: Definability of principal ideals
[For parts I--III see Zbl 0799.08010, Zbl 0902.08010 and Zbl 0906.08005, respectively.] The concept of ideal in universal algebra was introduced by the second author. This paper deals with equationally definable principal ideals (EDPI) in the so-called subtractive varieties (alias varieties permutable at 0). The authors introduce one variety of generalized Hilbert algebras and prove that this is a paradigm of a subtractive variety with EDPI. Then they deal with principal ideal operations and with the cases of meet and join of principal ideals being equationally definable.
- A discriminator variety of Gödel algebras with operators arising in quantum computation
- On subtractive weak Brouwerian semilattices
- On subtractive varieties II: General properties
- On subtractive varieties. I
- Annihilators in universal algebras: a new approach
- Varieties of BL-algebras. III: Splitting algebras
- The snail lemma in a pointed regular category
- Quasi-subtractive varieties
- Boolean-like algebras
- scientific article; zbMATH DE number 1953469 (Why is no real title available?)
- Fregean subtractive varieties with definable congruence
- Congruence quasi-orderability in subtractive varieties
- Duality in non-abelian algebra. III. Normal categories and 0-regular varieties
- Dual binary discriminator varieties
- Split short five lemma for clots and subtractive categories
- Joins and subdirect products of varieties
- Why most papers on filters are really trivial (including this one)
- Equational definitions of logical filters
- Free \(\mathrm{p}\)-algebras revisited: an algebraic investigation of implication-free intuitionism
- Subtractive categories
This page was built for publication: On subtractive varieties. IV: Definability of principal ideals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1966128)
