Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:board_game
model theory concept |
| gptkbp:describes |
distinguishability of structures
|
| gptkbp:field |
gptkb:logic
model theory |
| gptkbp:hasMove |
selection of elements from structures
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ehrenfeucht–Fraïssé game
|
| gptkbp:includesPlayer |
gptkb:Spoiler
gptkb:Duplicator |
| gptkbp:introducedIn |
1960s
|
| gptkbp:namedAfter |
gptkb:Andrzej_Ehrenfeucht
gptkb:Roland_Fraïssé |
| gptkbp:outcomeDeterminedBy |
winning strategy
|
| gptkbp:relatedTo |
gptkb:first-order_logic
gptkb:finite_model_theory isomorphism back-and-forth method elementary equivalence |
| gptkbp:usedFor |
analyzing expressive power of logics
comparing structures in logic proving elementary equivalence |
| gptkbp:bfsParent |
gptkb:Andrzej_Ehrenfeucht
gptkb:Generalized_Formula_Game |
| gptkbp:bfsLayer |
6
|