Second-order and Inductive Definability on Finite Structures (Q3797174)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Second-order and Inductive Definability on Finite Structures |
scientific article; zbMATH DE number 4063085
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Second-order and Inductive Definability on Finite Structures |
scientific article; zbMATH DE number 4063085 |
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
0.7643183469772339
0 references
0.7621157765388489
0 references
0.7621157765388489
0 references
0.7425302267074585
0 references
0.7424489855766296
0 references
