The Division Relation: Congruence Conditions and Axiomatisability
From MaRDI portal
Publication:5305990
DOI10.1080/00927870902828553zbMath1186.08001MaRDI QIDQ5305990
Marcel Jackson, Belinda Trotta
Publication date: 24 March 2010
Published in: Communications in Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00927870902828553
universal algebra; definable principal congruences; flat algebras; finite axiomatisability; division relation; Mal'tsev relation
20M07: Varieties and pseudovarieties of semigroups
08A30: Subalgebras, congruence relations
08C15: Quasivarieties
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Definable principal congruences in congruence distributive varieties
- On bases of completely simple semigroup identities
- Lyndon's groupoid is not inherently nonfinitely based
- Quasiidentities of finite rings and lattices
- On subdirectly irreducible commutative semigroups
- Subdirectly dominated semigroup varieties
- Finiteness properties of varieties and the restriction to finite algebras.
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
- On McKenzie's method
- Bases for equational theories of semi-groups
- Homomorphisms and subdirect decompositions of semigroups
- An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
- Standard topological algebras: syntactic and principal congruences and profiniteness
- Identical relations in finite groups
- FINITELY BASED, FINITE SETS OF WORDS
- PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES
- INHERENTLY NONFINITELY BASED FINITE SEMIGROUPS
- Tarski’s finite basis problem via 𝐀(𝒯)
- THE RESIDUAL BOUNDS OF FINITE ALGEBRAS
- FINITE SEMIGROUPS WITH INFINITE IRREDUNDANT IDENTITY BASES
- Flat algebras and the translation of universal Horn logic to equational logic
- A Characterization of Modularity for Congruence Lattices of Algebras*
- Finite bases for flat graph algebras