Axiomatising Various Classes of Relation and Cylindric Algebras (Q3126404)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axiomatising Various Classes of Relation and Cylindric Algebras |
scientific article |
Statements
Axiomatising Various Classes of Relation and Cylindric Algebras (English)
0 references
2 June 1997
0 references
games
0 references
model theory
0 references
equational axiomatization
0 references
representable relation algebras
0 references
first-order sentences
0 references
finite algebras
0 references
homogeneous representations
0 references
equational bases
0 references
representable cylindric algebras
0 references
