Weak Ehrenfeucht-Fraïssé Games


Autoria(s): Hyttinen, Tapani; Kulikov, Vadim
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