wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

ehrenfeucht_fraisse_game (561B)

      1 # EF-game
      2 
      3 Spoiler plays in [structure] A by marking a [vertex], Duplicator answers in [structure] B
      4 
      5 The structures induced by the [pebbles] must be [isomorphic]
      6 
      7 - Number of rounds necessary to distinguish both [structures]
      8   - connections to types nombre de rounds nécessaires pour distinguer les deux structures ([quantifier_rank])
      9 - Number of [pebbles] needed
     10   - connection to [FOk]
     11 
     12 [MSO] EF-game: the players can pebble sets
     13 
     14 Up: [logic], [games]
     15 
     16 See also: [bisimulation], [homomorphic_equivalence], [prover_verifier_game]
     17 
     18 Aliases: EF game, EF games