Definable principal subcongruences.

DOI10.1007/s00012-002-8180-5zbMath1063.08005MaRDI QIDQ1771906

Ju Wang, Kirby A. Baker

Publication date: 19 April 2005

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

Full work available at URL: https://doi.org/10.1007/s00012-002-8180-5

zbMATH Keywords

principal congruence; congruence distributivity; congruence formula

Mathematics Subject Classification ID

08B05: Equational logic, Mal'tsev conditions

08B10: Congruence modularity, congruence distributivity

08C10: Axiomatic model classes

Related Items

PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE, Flat algebras and the translation of universal Horn logic to equational logic, THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES, Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited, A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots)., Quasivarieties with definable relative principal subcongruences, Finite basis problems and results for quasivarieties, The variety generated by \(\mathbb {A}(\mathcal {T})\) -- two counterexamples, AXIOMATISABILITY OF THE CLASS OF MONOLITHIC GROUPS IN A VARIETY OF NILPOTENT GROUPS, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08, Commutative idempotent residuated lattices