Ehrenfeucht-Fraïssé games without identity

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.