Ehrenfeucht-Fraïssé games without identity

Authors

  • Alasdair Urquhart University of Toronto

DOI:

https://doi.org/10.26686/ajl.v18i1.6539

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.

Downloads

Download data is not yet available.

Author Biography

Alasdair Urquhart, University of Toronto

Professor Emeritus

Departments of Philosophy and Computer Science

Downloads

Published

2021-02-11