Congruence quasi-orderability in subtractive varieties

DOI10.1017/S1446788700003025zbMath0995.08005OpenAlexW2171167216MaRDI QIDQ4531555

Paolo Agliano

Publication date: 7 October 2002

Published in: Journal of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1446788700003025

zbMATH Keywords

principal idealsubtractive varietycongruence-orderable varietycongruence-quasi-orderable varietyvariety with equationally definable principal ideals

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Varieties (08B99)

Related Items

Fregean logics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Fregean logics with the multiterm deduction theorem and their algebraization

Cites Work

• On the structure of varieties with equationally definable principal congruences. II
• Varieties with equationally definable principal congruences
• On subtractive varieties. III: From ideals to congruences
• On subtractive varieties II: General properties
• On subtractive varieties. I
• On subtractive varieties. IV: Definability of principal ideals
• Equational classes of relative Stone algebras
• Varieties of implicative semilattices