Weak Ehrenfeucht-Fraïssé Games
Contribuinte(s) |
University of Helsinki, Department of Mathematics and Statistics University of Helsinki, Department of Mathematics and Statistics |
---|---|
Data(s) |
2011
|
Resumo |
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. |
Formato |
26 |
Identificador |
http://hdl.handle.net/10138/26339 0002-9947 |
Idioma(s) |
eng |
Publicador |
American Mathematical Society |
Relação |
Transactions of the American Mathematical Society |
Fonte |
Hyttinen , T & Kulikov , V 2011 , ' Weak Ehrenfeucht-Fraïssé Games ' Transactions of the American Mathematical Society , vol 363 , no. 6 , pp. 3309-3334 . , 10.1090/S0002-9947-2011-05222-0 |
Palavras-Chave | #111 Mathematics |
Tipo |
A1 Refereed journal article info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion |