谷歌浏览器插件
订阅小程序
在清言上使用

Ehrenfeucht-Fraïssé games without identity

The Australasian Journal of Logic(2021)

引用 1|浏览1
暂无评分
摘要
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.
更多
查看译文
关键词
identity,ehrenfeucht-fra
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要