Weak Ehrenfeucht-Fraïssé Games

Show full item record



Permalink

http://hdl.handle.net/10138/26339

Citation

Hyttinen , T & Kulikov , V 2011 , ' Weak Ehrenfeucht-Fraïssé Games ' , Transactions of the American Mathematical Society , vol. 363 , no. 6 , pp. 3309-3334 . https://doi.org/10.1090/S0002-9947-2011-05222-0

Title: Weak Ehrenfeucht-Fraïssé Games
Author: Hyttinen, Tapani; Kulikov, Vadim
Contributor: University of Helsinki, Department of Mathematics and Statistics
University of Helsinki, Department of Mathematics and Statistics
Date: 2011
Language: eng
Number of pages: 26
Belongs to series: Transactions of the American Mathematical Society
ISSN: 0002-9947
URI: http://hdl.handle.net/10138/26339
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.
Subject: 111 Mathematics
Rights:


Files in this item

Total number of downloads: Loading...

Files Size Format View
WeakEFRevised.pdf 319.1Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record