Weak Ehrenfeucht-Fraïssé Games

Show full item record




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 organization: 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
DOI: https://doi.org/10.1090/S0002-9947-2011-05222-0
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
Peer reviewed: Yes
Usage restriction: openAccess
Self-archived version: acceptedVersion

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