An Ehrenfeucht‐Fraïssé game for Lω1ω

Mathematical Logic Quarterly 59 (4-5):357-370 (2013)
  Copy   BIBTEX

Abstract

In this paper we develop an Ehrenfeucht‐Fraïssé game for. Unlike the standard Ehrenfeucht‐Fraïssé games which are modeled solely after the behavior of quantifiers, this new game also takes into account the behavior of connectives in logic. We prove the adequacy theorem for this game. We also apply the new game to prove complexity results about infinite binary strings.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

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

Through your library

Similar books and articles

An Ehrenfeucht‐Fraïssé class game.Wafik Boulos Lotfallah - 2004 - Mathematical Logic Quarterly 50 (2):179-188.
On potential isomorphism and non-structure.Taneli Huuskonen, Tapani Hyttinen & Mika Rautila - 2004 - Archive for Mathematical Logic 43 (1):85-120.
On complexity of Ehrenfeucht–Fraïssé games.Bakhadyr Khoussainov & Jiamou Liu - 2010 - Annals of Pure and Applied Logic 161 (3):404-415.
On the semantics of informational independence.Jouko Väänänen - 2002 - Logic Journal of the IGPL 10 (3):339-352.
Games and Lindström Theorems.Cheng Liao - 2023 - Logica Universalis 17 (1):1-21.
The Strategic Balance of Games in Logic.Jouko Väänänen - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 755-770.

Analytics

Added to PP
2013-11-03

Downloads
42 (#558,368)

6 months
6 (#572,300)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Some transfinite natural sums.Paolo Lipparini - 2018 - Mathematical Logic Quarterly 64 (6):514-528.
An infinte natural sum.Paolo Lipparini - 2016 - Mathematical Logic Quarterly 62 (3):249-257.

Add more citations

References found in this work

On the semantics of informational independence.Jouko Väänänen - 2002 - Logic Journal of the IGPL 10 (3):339-352.
Remarks on Predicate Logic with Infinitely Long Expressions.A. Tarski - 1965 - Journal of Symbolic Logic 30 (1):94-95.
Reduced products and nonstandard logics.M. Benda - 1969 - Journal of Symbolic Logic 34 (3):424-436.

View all 8 references / Add more references