PRIMITIVE POSITIVE FORMULAS PREVENTING A FINITE BASIS OF QUASI-EQUATIONS

DOI10.1142/S0218196709005408zbMath1196.08004OpenAlexW1981159076MaRDI QIDQ5850782

David Casperson, Jennifer Hyndman

Publication date: 15 January 2010

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0218196709005408

zbMATH Keywords

finite basisunary algebrasquasi-equations

Mathematics Subject Classification ID

Quasivarieties (08C15) Unary algebras (08A60)

Related Items (2)

Existence of finite bases for quasi-equations of unary algebras with 0 ⋮ Quasi-equational bases for graphs of semigroups, monoids and groups.

Cites Work

• Quasiidentities of finite unary algebras
• Conditional identities in finite groups
• Finite basis problems and results for quasivarieties
• Positive primitive formulas preventing enough algebraic operations

This page was built for publication: PRIMITIVE POSITIVE FORMULAS PREVENTING A FINITE BASIS OF QUASI-EQUATIONS