On finite axiomatizability of expansions of cylindric algebras (Q2889954)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On finite axiomatizability of expansions of cylindric algebras |
scientific article; zbMATH DE number 6044080
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On finite axiomatizability of expansions of cylindric algebras |
scientific article; zbMATH DE number 6044080 |
Statements
8 June 2012
0 references
finitization problem
0 references
cylindric algebras
0 references
On finite axiomatizability of expansions of cylindric algebras (English)
0 references
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.
0 references
