Axiomatizable and nonaxiomatizable congruence prevarieties

DOI10.1007/s00012-008-2068-yzbMath1165.08002OpenAlexW2026119408MaRDI QIDQ1001459

J. B. Nation, Keith A. Kearnes

Publication date: 17 February 2009

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

Full work available at URL: https://doi.org/10.1007/s00012-008-2068-y

zbMATH Keywords

congruence identitycongruence prevarietyfirst-order axiomatizability

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05)

Related Items (5)

Finitely based congruence varieties ⋮ An easy test for congruence modularity ⋮ LATTICES OF QUASI-EQUATIONAL THEORIES AS CONGRUENCE LATTICES OF SEMILATTICES WITH OPERATORS: PART I ⋮ On the prevariety of perfect lattices ⋮ The shape of congruence lattices

This page was built for publication: Axiomatizable and nonaxiomatizable congruence prevarieties