Definable principal subcongruences.
From MaRDI portal
Publication:1771906
DOI10.1007/s00012-002-8180-5zbMath1063.08005OpenAlexW2054891104MaRDI QIDQ1771906
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
Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Axiomatic model classes (08C10)
Related Items
The variety generated by \(\mathbb {A}(\mathcal {T})\) -- two counterexamples, Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited, Universal algebraic methods for non-classical logics, Flat algebras and the translation of universal Horn logic to equational logic, AXIOMATISABILITY OF THE CLASS OF MONOLITHIC GROUPS IN A VARIETY OF NILPOTENT GROUPS, A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots)., PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE, Finite basis problems and results for quasivarieties, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08, Commutative idempotent residuated lattices, Quasivarieties with definable relative principal subcongruences, THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES
