Locality and modular Ehrenfeucht–Fraïssé games

Journal of Applied Logic 10 (1):144-162 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2011.09.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On non‐determined ehrenfeucht‐fraïssé games and unstable theories.Tapani Hyttinen & T. Hyttinen - 1992 - Mathematical Logic Quarterly 38 (1):399-408.
On complexity of Ehrenfeucht–Fraïssé games.Bakhadyr Khoussainov & Jiamou Liu - 2010 - Annals of Pure and Applied Logic 161 (3):404-415.
On Ehrenfeucht-fraïssé equivalence of linear orderings.Juha Oikkonen - 1990 - Journal of Symbolic Logic 55 (1):65-73.
Computational complexity of logical theories of one successor and another unary function.Pascal Michel - 2007 - Archive for Mathematical Logic 46 (2):123-148.
An Ehrenfeucht‐Fraïssé game for Lω1ω.Jouko Väänänen & Tong Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):357-370.
Positional strategies in long ehrenfeucht–fraïssé games.S. Shelah, J. Väänänen & B. Veličković - 2015 - Journal of Symbolic Logic 80 (1):285-300.
An Ehrenfeucht‐Fraïssé class game.Wafik Boulos Lotfallah - 2004 - Mathematical Logic Quarterly 50 (2):179-188.
Games on Trees and Syntactical Complexity of Formulas.Michał Krynicki & Jose Maria Turull Torres - 2007 - Logic Journal of the IGPL 15 (5-6):653-687.
On non-determined Ehrenfeucht-fraïssé games and unstable theories.Tapani Hyttinen & T. Hyttinen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):399-408.
A local normal form theorem for infinitary logic with unary quantifiers.H. Jerome Keisler & Wafik Boulos Lotfallah - 2005 - Mathematical Logic Quarterly 51 (2):137-144.
Self-Assembling Games.Jeffrey A. Barrett & Brian Skyrms - unknown
On potential isomorphism and non-structure.Taneli Huuskonen, Tapani Hyttinen & Mika Rautila - 2004 - Archive for Mathematical Logic 43 (1):85-120.
Experimental Evidence for a Dynamical Non-locality Induced Effect in Quantum Interference Using Weak Values.S. E. Spence & A. D. Parks - 2012 - Foundations of Physics 42 (6):803-815.
Ehrenfeucht games and ordinal addition.Françoise Maurin - 1997 - Annals of Pure and Applied Logic 89 (1):53-73.
Game-based notions of locality over finite models.Marcelo Arenas, Pablo Barceló & Leonid Libkin - 2008 - Annals of Pure and Applied Logic 152 (1-3):3-30.

Analytics

Added to PP
2016-06-30

Downloads
6 (#1,443,383)

6 months
2 (#1,221,975)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model-theoretic methods in the study of elementary logic.William Hanf - 1965 - Journal of Symbolic Logic 34 (1):132--145.
On winning Ehrenfeucht games and monadic NP.Thomas Schwentick - 1996 - Annals of Pure and Applied Logic 79 (1):61-92.
A model-theoretic characterisation of clique width.Achim Blumensath - 2006 - Annals of Pure and Applied Logic 142 (1):321-350.
The Computational Complexity of Logical Theories.Dirk Siefkes - 1984 - Journal of Symbolic Logic 49 (2):670-671.

Add more references