On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality (Q3460522)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality |
scientific article |
Statements
On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality (English)
0 references
7 January 2016
0 references
cylindric algebras
0 references
polyadic algebras
0 references
relativised set algebras
0 references
representation theory in algebraic logic, finitization problem
0 references
semigroup approach in algebraic logic
0 references
0 references
