Ehrenfeucht-Fraïssé games without identity
-
Published:2021-02-11
Issue:1
Volume:18
Page:25-28
-
ISSN:1448-5052
-
Container-title:The Australasian Journal of Logic
-
language:
-
Short-container-title:AJL
Author:
Urquhart Alasdair
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.
Publisher
Victoria University of Wellington Library
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. MAXIMALITY OF LOGIC WITHOUT IDENTITY;The Journal of Symbolic Logic;2023-01-10