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 the normal view instead:
scientific article; zbMATH DE number 6044080
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8238281607627869
0 references
0.8013622760772705
0 references
0.7993547916412354
0 references
