Abstract
We show, using a ranbow construction for cylindric algebras, that for any class K between diagonal free cylindric algebras and polyadic equality algebras of finite dimension > 2, there is no finite variable universal axiomatization for the class of representable algebras. This solves an old open problem in algebraic logic, formulated by Sain and Thompson back in 1990.
Connections
Explore this paper’s authors, topics and related work.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Reviews 0
Write a review
No reviews yet.
Discussion 0
Add a comment
No comments yet.