There is no finite variable axiomatization for various diagonal free algebras
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.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.