×

一类离散线性序上的Ehrenfeucht-Fraíssé对策。 (英语) Zbl 1477.06001号

总结:如果球员II在(A)和(B)上的移动Ehrenfeucht-Fraíssé游戏中有获胜策略,那么两个结构(A)与(B)是等价的。在早期的文章中,我们研究了序数和有色序数的(n)等价类。在本文中,我们类似地处理了一类分散的序类型,重点讨论了\(\omega \)及其反面\(\omega ^*\)中的单项式和单项式的和。

MSC公司:

06年05月 订单总数
03C64号 有序结构的模型理论;o极小性
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Ehrenfeucht,A.,《博弈在形式化理论完备性问题中的应用》。《数学基础》,第49卷(1961年),第129-141页·Zbl 0096.24303号
[2] Karp,C.,有限量词等价,模型理论,1963年伯克利国际研讨会论文集(Addison,J.W.,Henkin,L.和Tarski,A.编辑),北荷兰,阿姆斯特丹,1965年,第407-412页·Zbl 0253.02052号
[3] Montalban,A.,分散线性序的同构不变量。《数学基础》,第191卷(2006年),第129-141页·Zbl 1104.03040号
[4] Mostowski,A.和Tarski,A.,有序系统的算术定义类和类型。《美国数学学会公报》,第55卷(1949年),第65号,第1192页。
[5] Mwesigye,F.,线性顺序和有色线性顺序的基本等价,利兹大学博士论文,2009年。
[6] Mwesigye,F.和Truss,J.K.,有限着色线性序的分类。《命令》,第28卷(2011年),第387-397页·Zbl 1232.06001号
[7] Mwesigye,F.和Truss,J.K.,Ehrenfeucht Fraïssé关于普通人的游戏。《纯粹与应用逻辑年鉴》,第169卷(2018年),第616-636页·Zbl 1469.06001号
[8] Mwesigye,F.和Truss,J.K.,关于有限着色线性阶的最优代表。订单,第36卷(2019年),第107-117页·Zbl 1444.06001号
[9] Nadel,M.,Scott句子和可容许集。《数理逻辑年鉴》,第7卷(1974年),第267-294页·Zbl 0301.02050号
[10] Rosenstein,J.G.,《线性排序》,学术出版社,纽约,1982年·Zbl 0488.04002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。