On subtractive varieties. IV: Definability of principal ideals

DOI10.1007/S000120050059zbMATH Open0934.08002OpenAlexW2064612152MaRDI QIDQ1966128FDOQ1966128

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

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

Cited In (16)

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

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)