Finite basis problems and results for quasivarieties

DOI10.1007/s11225-005-3320-5zbMath1067.08007OpenAlexW2047269898MaRDI QIDQ1770614

Ralph McKenzie, Miklós Maróti

Publication date: 7 April 2005

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-3320-5

zbMATH Keywords

quasivarietiesfinite axiomatizabilitypseudo-complemented congruence latticesWillard terms

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05)

Related Items (10)

UNREASONABLE LATTICES OF QUASIVARIETIES ⋮ Congruence meet-semidistributive locally finite varieties and a finite basis theorem ⋮ Relatively congruence modular quasivarieties of modules ⋮ Universal algebraic methods for non-classical logics ⋮ The Jónsson-Kiefer property ⋮ Triangular irreducibility of congruences in quasivarieties ⋮ A finite basis theorem for difference-term varieties with a finite residual bound ⋮ Quasivarieties with definable relative principal subcongruences ⋮ PRIMITIVE POSITIVE FORMULAS PREVENTING A FINITE BASIS OF QUASI-EQUATIONS ⋮ A quasi-Mal'cev condition with unexpected application.

Cites Work

• Unnamed Item
• Unnamed Item
• A new product of algebras and a type reduction theorem
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Finite equational bases for congruence modular varieties
• Finite bases for finitely generated, relatively congruence distributive quasivarities
• Finite equational bases for finite algebras in a congruence-distributive equational class
• On finitely based groups and nonfinitely based quasivarieties
• On quasi-identities of finite nilpotent algebras
• Identities satisfied by a finite ring
• Definable principal subcongruences.
• Quasi-identities of finite semigroups and symbolic dynamics
• Bases for equational theories of semi-groups
• The lattice of equational classes of idempotent semigroups
• An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
• Identical relations in finite groups
• Finitely generated congruence distributive quasivarieties of algebras
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• INHERENTLY NONFINITELY BASED FINITE SEMIGROUPS
• Commutator Theory for Relatively Modular Quasivarieties
• The structure of finite algebras
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
• Tarski’s finite basis problem via 𝐀(𝒯)
• THE RESIDUAL BOUND OF A FINITE ALGEBRA IS NOT COMPUTABLE
• TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• Identities in Two-Valued Calculi
• Extending Baker's theorem

This page was built for publication: Finite basis problems and results for quasivarieties