Ehrenfeucht-Fraïssé games without identity

Australasian Journal of Logic 18 (1):25-28 (2021)
  Copy   BIBTEX

Abstract

This note defines Ehrenfeucht-Fraïssé games where identity is not present in the basic language. The formulation is applied to show that there is no elementary theory in the language of one binary relation that exactly characterizes models in which the relation is the identity relation.

Categories

Keywords

Reprint years

DOI

10.26686/ajl.v18i1.6539

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

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 Ehrenfeucht-fraïssé equivalence of linear orderings.Juha Oikkonen - 1990 - Journal of Symbolic Logic 55 (1):65-73.
On complexity of Ehrenfeucht–Fraïssé games.Bakhadyr Khoussainov & Jiamou Liu - 2010 - Annals of Pure and Applied Logic 161 (3):404-415.
Computational complexity of logical theories of one successor and another unary function.Pascal Michel - 2007 - Archive for Mathematical Logic 46 (2):123-148.
Ehrenfeucht-fraïssé games on a class of scattered linear orders.Feresiano Mwesigye & John Kenneth Truss - 2020 - Journal of Symbolic Logic 85 (1):37-60.
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.
Locality and modular Ehrenfeucht–Fraïssé games.Achim Blumensath - 2012 - Journal of Applied Logic 10 (1):144-162.
Ehrenfeucht–Fraïssé games on ordinals.F. Mwesigye & J. K. Truss - 2018 - Annals of Pure and Applied Logic 169 (7):616-636.
An Ehrenfeucht‐Fraïssé game for Lω1ω.Jouko Väänänen & Tong Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):357-370.
An Ehrenfeucht‐Fraïssé class game.Wafik Boulos Lotfallah - 2004 - Mathematical Logic Quarterly 50 (2):179-188.
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-Fraisse class game.Wafik 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 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.
From Religious Belief to Identity Games in Ted Hughes's Early Poetry.Florian Andrei Vlad - 2020 - Dialogo 6 (2):224-232.

Analytics

Added to PP
2021-06-19

Downloads
8 (#1,339,625)

6 months
2 (#1,250,447)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alasdair Urquhart
University of Toronto, St. George Campus

Citations of this work

Maximality of Logic Without Identity.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2024 - Journal of Symbolic Logic 89 (1):147-162.

Add more citations

References found in this work

Add more references