费里西奥·姆韦西吉;约翰·肯尼思·特鲁斯 一类离散线性序上的Ehrenfeucht-Fraíssé对策。 (英语) Zbl 1477.06001号 J.塞姆。日志。 85,第1号,37-60(2020年). 总结:如果球员II在(A)和(B)上的移动Ehrenfeucht-Fraíssé游戏中有获胜策略,那么两个结构(A)与(B)是等价的。在早期的文章中,我们研究了序数和有色序数的(n)等价类。在本文中,我们类似地处理了一类分散的序类型,重点讨论了\(\omega \)及其反面\(\omega ^*\)中的单项式和单项式的和。 MSC公司: 06年05月 订单总数 03C64号 有序结构的模型理论;o极小性 关键词:分散线性次序;单项式的;埃伦菲奇-弗雷塞比赛 PDF格式BibTeX公司 XML格式引用 \textit{F.Mwesigye}和\textit{J.K.Truss},J.Symb。日志。85,编号1,37--60(2020;Zbl 1477.06001) 全文: 内政部 arXiv公司 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。