Switch to: References

Add citations

You must login to add citations.
  1. Ehrenfeucht-Fraïssé games without identity.Alasdair Urquhart - 2021 - Australasian Journal of Logic 18 (1):25-28.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation