詹姆斯·施默尔(James H.Schmerl)。 Peano算法模型的自同构群。 (英语) Zbl 1038.03044号 J.塞姆。日志。 67,第4期,1249-1264(2002). 这是一篇重要的论文,尽管主要结果实际上揭示了皮亚诺算法模型的自同构群的谱是无趣的。Schmerl证明了如果(G)是无限线性序一阶结构(L)的自同构,则存在一个自同构群同构于(G)的PA模型。可以使模型具有任何基数\(\kappa\geq|L|\)。此外,它还可以作为具有适当基数的任何其他PA模型的基本端点扩展。这个定理改进了H.盖夫曼[数学年鉴.逻辑9,223–306(1976;Zbl 0332.02058号)]. Gaifman证明了定理的特例,其中L是线性序集。从一个模型(M)开始,Schmerl通过构造一个非常刚性的(M)的初等端点扩张(N),杀死了第一步,无论(M)可能有什么非平凡的自同构,也就是说,它是刚性的,并且没有与自身同构的初等初始段。第二个关键步骤是通过添加一组合适的不可分辨项来扩展N。有趣的是,证明的这一部分使用了Nešetřil和Rödl的相同组合定理,其中F.G.阿布拉姆森和L.A.Harrington公司用于构建没有不可分辨的大型模型[J.Symb.Log.43,572-600(1978;Zbl 0391.03027号)]. 主要定理的证明中使用的技术对PA的可数递归饱和模型有应用。特别是,Schmerl证明,如果(G)是此类模型的自同构群,则(G)的理论是不可判定的。如果不考虑PA,而是考虑PA*,则所有结果都是正确的,PA*是用可数语言表示的,扩展了算术语言。审核人:Roman Kossak(纽约) 引用于2文件 MSC公司: 03C62号 算术和集合论模型 20B27型 无限自同构群 03元50分 具有特殊属性(饱和、刚性等)的模型 关键词:算术模型;自同构群;有序结构;右序群;递归饱和模型 引文:Zbl 0332.02058号;兹伯利03910.3027 PDF格式BibTeX公司 XML格式引用 \文本{J.H.Schmerl},J.Symb。日志。67,第4号,1249--1264(2002;Zbl 1038.03044) 全文: 内政部 参考文献: [1] 代数和算术的模型理论,《论文集》,波兰卡尔帕茨,1978年,第338页-(1980) [2] 集合论和层次论V,比鲁托维兹,波兰,1976年,第221页–(1977年) [3] 皮亚诺算法模型(1991)·Zbl 0744.03037号 [4] 有序置换群(1981) [5] 内政部:10.1016/0003-4843(76)90002-4·Zbl 0332.02058号 ·doi:10.1016/0003-4843(76)90002-4 [6] 皮亚诺算法38第291页模型中的可辨要素——(1973)·Zbl 0279.02036号 [7] 内政部:10.1090/S0002-9947-1987-0906820-7·doi:10.1090/S0002-9947-1987-0906820-7 [8] 数字对象标识码:10.1307/mmj/1028998233·Zbl 0099.01703号 ·doi:10.1307/mmj/1028998233 [9] 内政部:10.1112/S0025579300001078·Zbl 0088.02702号 ·doi:10.1112/S0025579300001078 [10] 无不可分辨模型43第572页–(1978) [11] 逻辑年1979-80,康涅狄格大学第268-页(1981) [12] 算术中的可判定性和决策问题14 pp 98–(1949) [13] 组合理论杂志A 22 pp 289–(1977) [14] 内政部:10.1112/jlms/52.2.235·Zbl 0905.03024号 ·doi:10.1112/jlms/52.2.235 [15] 内政部:10.1305/ndjfl/1040136914·兹伯利0848.03017 ·数字对象标识代码:10.1305/ndjfl/1040136914 [16] 内政部:10.1305/ndjfl/1093635835·Zbl 0748.03024号 ·doi:10.1305/ndjfl/1093635835 [17] 数字对象标识码:10.1007/s0015300506·兹伯利0873.03037 ·数字标识代码:10.1007/s0015300506 [18] 1996年逻辑学术讨论会,1996年7月9日至15日在西班牙圣塞巴斯蒂安举行的学术讨论会记录,第159页–(1998) [19] 右翼团体(1996年) [20] 内政部:10.1016/0168-0072(91)90098-7·Zbl 0748.03023号 ·doi:10.1016/0168-0072(91)90098-7 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。