Abstract.
A finite unary algebra with a positive primitive formula defining a pp-acyclic relation does not have enough algebraic operations and does not have a finite basis for its quasi-equations.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
In Celebration of the Sixtieth Birthday of Ralph N. McKenzie
Received June 17, 2003; accepted in final form August 12, 2004.
Rights and permissions
About this article
Cite this article
Hyndman, J. Positive primitive formulas preventing enough algebraic operations. Algebra univers. 52, 303–312 (2005). https://doi.org/10.1007/s00012-004-1896-7
Issue Date:
DOI: https://doi.org/10.1007/s00012-004-1896-7