Weak Ehrenfeucht-Fraïssé Games

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Sammanfattning

In this paper we define a game which is played between two players
I and II on two mathematical structures A and B. The players choose elements
from both structures in moves, and at the end of the game the player II wins if
the chosen structures are isomorphic. Thus the difference of this to the ordinary
Ehrenfeucht-Fra¨ıss´e game is that the isomorphism can be arbitrary, whereas in
the ordinary EF-game it is determined by the moves of the players. We
investigate determinacy of the weak EF-game for different (the length of the
game) and its relation to the ordinary EF-game.
Originalspråkengelska
TidskriftTransactions of the American Mathematical Society
Volym363
Nummer6
Sidor (från-till)3309-3334
Antal sidor26
ISSN0002-9947
DOI
StatusPublicerad - 2011
MoE-publikationstypA1 Tidskriftsartikel-refererad

Vetenskapsgrenar

  • 111 Matematik

Citera det här