Open AccessEhrenfeucht-Fraïssé games without identity
Author(s) -
Alasdair Urquhart
Publication year - 2021
Publication title -
australasian journal of logic
Language(s) - English
Resource type - Journals
ISSN - 1448-5052
DOI - 10.26686/ajl.v18i1.6539
Subject(s) - identity (music) , relation (database) , binary relation , mathematics , identity function , binary number , linguistics , computer science , discrete mathematics , arithmetic , philosophy , data mining , aesthetics
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.