Omitting types for finite variable fragments and complete representations of algebras (Q5387302)
From MaRDI portal
scientific article; zbMATH DE number 5273196
Language | Label | Description | Also known as |
---|---|---|---|
English | Omitting types for finite variable fragments and complete representations of algebras |
scientific article; zbMATH DE number 5273196 |
Statements
Omitting types for finite variable fragments and complete representations of algebras (English)
0 references
8 May 2008
0 references
complete representation
0 references
cylindric algebra
0 references
finite-variable fragment
0 references
first-order logic
0 references
omitting types
0 references
relation algebra
0 references