Second-order and Inductive Definability on Finite Structures (Q3797174)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Second-order and Inductive Definability on Finite Structures |
scientific article |
Statements
Second-order and Inductive Definability on Finite Structures (English)
0 references
1987
0 references
Ehrenfeucht-Fraissé games
0 references
inductive definability over finite structures
0 references
graphs with successor
0 references
inductive definition
0 references
disconnectivity
0 references
graphs with distinguished element
0 references
structures without successor
0 references
Hamiltonicity
0 references
