No label defined (Q4390777)
From MaRDI portal
scientific article; zbMATH DE number 1156790
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1156790 |
Statements
19 October 1998
0 references
axiomatizability of the \(n\)-variable fragment \(L_n\) of first-order logic
0 references
finitization
0 references
representable relation algebras
0 references
permutation invariant operations
0 references
finitely axiomatizable
0 references
