Weak Ehrenfeucht-Fraïssé Games

Visa fullständig post



Permalänk

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

Titel: Weak Ehrenfeucht-Fraïssé Games
Författare: Hyttinen, Tapani; Kulikov, Vadim
Medarbetare: University of Helsinki, Department of Mathematics and Statistics
University of Helsinki, Department of Mathematics and Statistics
Datum: 2011
Språk: eng
Sidantal: 26
Tillhör serie: Transactions of the American Mathematical Society
ISSN: 0002-9947
Permanenta länken (URI): http://hdl.handle.net/10138/26339
Abstrakt: 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
Licens:


Filer under denna titel

Totalt antal nerladdningar: Laddar...

Filer Storlek Format Granska
WeakEFRevised.pdf 319.1Kb PDF Granska/Öppna

Detta dokument registreras i samling:

Visa fullständig post