On finite axiomatizability of expansions of cylindric algebras
The paper contains a new proof and a supplement of a result due to Sain concerning a cylindric reduct. This result is a solution for an instance of the finitization problem of algebraic logic. The author discusses the result in question, and he shows that it cannot be generalized in a sense.
scientific article; zbMATH DE number 6044080