A Neat Embedding Theorem for Expansions of Cylindric Algebras
Tarek Sayed-Ahmed, Basim Samir · Logic Journal of IGPL · 2006
We generalize two classical results on cylindric algebra to certain expansions of cylindric algebras where the extra operations are defined via first order formulas. The first result is the Neat Embedding Theorem of Henkin and the second is Monk's classical non-finitizability result of the class of representable algebras. As a corollary we obtain known classical results of Johnson and Biro published in the Journal of Symbolic logic.