Abstract
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.
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.
| Original language | English |
|---|---|
| Journal | Transactions of the American Mathematical Society |
| Volume | 363 |
| Issue number | 6 |
| Pages (from-to) | 3309-3334 |
| Number of pages | 26 |
| ISSN | 0002-9947 |
| DOIs | |
| Publication status | Published - 2011 |
| MoE publication type | A1 Journal article-refereed |
Fields of Science
- 111 Mathematics