Weak Ehrenfeucht-Fraïssé Games

Näytä kaikki kuvailutiedot



Pysyväisosoite

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

Lähdeviite

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

Julkaisun nimi: Weak Ehrenfeucht-Fraïssé Games
Tekijä: Hyttinen, Tapani; Kulikov, Vadim
Muu tekijä: University of Helsinki, Department of Mathematics and Statistics
University of Helsinki, Department of Mathematics and Statistics
Päiväys: 2011
Kieli: eng
Sivumäärä: 26
Kuuluu julkaisusarjaan: Transactions of the American Mathematical Society
ISSN: 0002-9947
URI: http://hdl.handle.net/10138/26339
Tiivistelmä: 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.
Avainsanat: 111 Mathematics
Tekijänoikeustiedot:


Tiedostot

Latausmäärä yhteensä: Ladataan...

Tiedosto(t) Koko Formaatti Näytä
WeakEFRevised.pdf 319.1KB PDF Avaa tiedosto

Viite kuuluu kokoelmiin:

Näytä kaikki kuvailutiedot