Flat algebras and the translation of universal Horn logic to equational logic

DOI10.2178/jsl/1208358744zbMath1141.03006OpenAlexW2123724076MaRDI QIDQ5387303

Marcel Jackson

Publication date: 8 May 2008

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1208358744

zbMATH Keywords

undecidabilityquasivarietymembership probleminverse semigroupflat algebrafinite basis problemBrandt semigroupClifford semigroupuniversal Horn classQ-universalflat semilatticeagreeable semigroupflat extension of a group

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Lattices of varieties (08B15) Quasivarieties and varieties of groups (20E10) Quasivarieties (08C15) Inverse semigroups (20M18) Equational classes, universal algebra in model theory (03C05) Partial algebras (08A55) Subdirect products and subdirect irreducibility (08B26)

Related Items

The Division Relation: Congruence Conditions and Axiomatisability ⋮ Constraint satisfaction, irredundant axiomatisability and continuous colouring ⋮ On varieties of flat nil-semirings ⋮ Some nil-ai-semiring varieties ⋮ Flat extensions of groups and limit varieties of additively idempotent semirings ⋮ The equational complexity of Lyndon's algebra ⋮ The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion ⋮ Relatively inherently nonfinitely q-based semigroups ⋮ The lattice of ai-semiring varieties satisfying \(x^n \approx x\) and \(xy \approx yx\) ⋮ Low Growth Equational Complexity ⋮ ON FREE SPECTRA OF A CLASS OF FINITE INVERSE MONOIDS ⋮ Nonfinitely based ai-semirings with finitely based semigroup reducts

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lattice of quasivarieties of semigroups
• On pseudovarieties
• On classes of relations and graphs determined by subobjects and factorobjects
• On finitely based groups and nonfinitely based quasivarieties
• Agreeable semigroups.
• On bases of identities of finite inverse semigroups with solvable subgroups.
• Open questions related to the problem of Birkhoff and Maltsev
• Locally finite varieties.
• The lattice of quasivarieties of undirected graphs.
• Definable principal subcongruences.
• 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
• Identical relations in finite groups
• COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES
• Quasiequational Theories of Flat Algebras
• IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
• IDENTITIES OF FINITE INVERSE SEMIGROUPS
• Fragments of first order logic, I: universal Horn logic
• Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras
• ALGORITHMIC PROBLEMS IN VARIETIES
• THE RESIDUAL BOUNDS OF FINITE ALGEBRAS
• THE RESIDUAL BOUND OF A FINITE ALGEBRA IS NOT COMPUTABLE
• TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
• INTERPRETING GRAPH COLORABILITY IN FINITE SEMIGROUPS
• Finite bases for flat graph algebras