A finite basis theorem for difference-term varieties with a finite residual bound

DOI10.1090/tran/6509zbMath1362.03027OpenAlexW1583392911MaRDI QIDQ2787967

Ágnes Szendrei, Ross Willard, Keith A. Kearnes

Publication date: 7 March 2016

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

Full work available at URL: https://doi.org/10.1090/tran/6509

zbMATH Keywords

finite basis theoremfinite residual boundPark's conjecturevarieties with a difference term

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Equational classes, universal algebra in model theory (03C05)

Related Items (9)

Identities and quasi-identities of pointed algebras ⋮ Characterizing the commutator in varieties with a difference term ⋮ Relatively congruence modular quasivarieties of modules ⋮ Simpler Maltsev conditions for (weak) difference terms in locally finite varieties ⋮ Universal algebraic methods for non-classical logics ⋮ Relative Maltsev definability of some commutator properties ⋮ A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). ⋮ Polynomial-time tests for difference terms in idempotent varieties ⋮ Correction to “A finite basis theorem for difference-term varieties with a finite residual bound”

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite equational bases for congruence modular varieties
• Lattice varieties covering the smallest non-modular variety
• Congruence modularity is permutability composed with distributivity
• Three remarks on the modular commutator
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• A Hamiltonian property for nilpotent algebras
• Identities satisfied by a finite ring
• Finite basis problems and results for quasivarieties
• \(n\)-permutable varieties satisfy non trivial congruence identities
• Varieties with a difference term
• Cardinality bounds for subdirectly irreducible algebras
• Essentially infinitely based varieties of algebras
• Bases for equational theories of semi-groups
• Equational classes generated by finite algebras
• An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
• Identical relations in finite groups
• Geometrical methods in congruence modular algebras
• The Laws of Finite Pointed Groups
• Residually Small Varieties with Modular Congruence Lattices
• The structure of finite algebras
• Equational Bases for Lattice Theories.
• A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
• AN ORDER-THEORETIC PROPERTY OF THE COMMUTATOR
• Commutator Theory Without Join-Distributivity
• An Easy Way to Minimal Algebras
• The Relationship Between Two Commutators
• TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• Algebras Whose Congruence Lattices are Distributive.
• A Characterization of Varieties with a Difference Term
• Identities in Two-Valued Calculi
• Identities in Finite Algebras
• A Kiss 4-differences term from a ternary term

This page was built for publication: A finite basis theorem for difference-term varieties with a finite residual bound