Successor-invariant first-order logic on finite structures (Q5294027)
From MaRDI portal
scientific article; zbMATH DE number 5170341
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Successor-invariant first-order logic on finite structures |
scientific article; zbMATH DE number 5170341 |
Statements
Successor-invariant first-order logic on finite structures (English)
0 references
9 July 2007
0 references
finite structures
0 references
successor relation
0 references
