On subtractive varieties. IV: Definability of principal ideals

DOI10.1007/S000120050059zbMath0934.08002OpenAlexW2064612152MaRDI QIDQ1966128

Paolo Agliano, Aldo Ursini

Publication date: 27 February 2000

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s000120050059

zbMATH Keywords

idealsubtractive varietyequationally definable principal idealsgeneralized Hilbert algebras

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30)

Related Items (14)

Fregean subtractive varieties with definable congruence ⋮ Congruence quasi-orderability in subtractive varieties ⋮ The snail lemma in a pointed regular category ⋮ Boolean-like algebras ⋮ Annihilators in universal algebras: a new approach ⋮ Split short five lemma for clots and subtractive categories ⋮ Joins and subdirect products of varieties ⋮ Duality in non-abelian algebra. III. Normal categories and 0-regular varieties ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Dual binary discriminator varieties ⋮ On subtractive weak Brouwerian semilattices ⋮ Quasi-subtractive varieties ⋮ A discriminator variety of Gödel algebras with operators arising in quantum computation ⋮ Subtractive categories

This page was built for publication: On subtractive varieties. IV: Definability of principal ideals