Weakly higher order cylindric algebras and finite axiomatization of the representables (Q1005971)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Weakly higher order cylindric algebras and finite axiomatization of the representables |
scientific article |
Statements
Weakly higher order cylindric algebras and finite axiomatization of the representables (English)
0 references
17 March 2009
0 references
The \(n\)-dimensional weakly higher-order cylindric algebras are representable cylindric algebras with extra operations that correspond to bounded existential quantification over elements accessible by a fixed binary relation \(R\) (an abstract algebraic counterpart to the membership relation). This class is shown to be finitely axiomatizable when \(n>2\). The proof uses Tarski's theorem that quasi-projective relation algebras are representable.
0 references
algebraic logic
0 references
representability
0 references
cylindric algebra
0 references
quasi-projections
0 references
relation algebra
0 references
finitization problem
0 references
