Ehrenfeucht–Fraïssé games

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:mathematical_concept
gptkbp:application	analyzing expressive power of logics proving inexpressibility results
gptkbp:field	gptkb:logic model theory
gptkbp:hasComponent	gptkb:Spoiler gptkb:Duplicator
gptkbp:hasRule	game played for a fixed number of rounds players select elements from two structures
https://www.w3.org/2000/01/rdf-schema#label	Ehrenfeucht–Fraïssé games
gptkbp:introducedIn	1960s
gptkbp:namedAfter	gptkb:Andrzej_Ehrenfeucht gptkb:Roland_Fraïssé
gptkbp:referencedIn	gptkb:Ehrenfeucht,_A._(1961)._An_application_of_games_to_the_completeness_problem_for_formalized_theories. gptkb:Fraïssé,_R._(1954)._Sur_quelques_classifications_des_systèmes_de_relations.
gptkbp:relatedConcept	back-and-forth method pebble games
gptkbp:relatedTo	gptkb:first-order_logic gptkb:finite_model_theory descriptive complexity isomorphism quantifier rank
gptkbp:result	Duplicator wins if partial isomorphism maintained Spoiler wins if partial isomorphism broken
gptkbp:usedFor	comparing structures in logic proving elementary equivalence
gptkbp:bfsParent	gptkb:finite_model_theory
gptkbp:bfsLayer	5