×

结构的约化和最大闭置换群。 (英语) Zbl 1372.03060号

该文件通过以下方式关注该问题M.容克M.齐格勒[同上,73,第3号,861-884(2008年;Zbl 1189.03041号)]任何非ω范畴结构是否有无穷多个恰当的非平凡约简。作者对这个问题给出了否定的回答,并构造了一个在模型理论和群理论意义上都没有适当非平凡约简的非欧米伽范畴结构。这个例子有一个D关系,它的研究与Jordan置换群有关。他们还构造了一个非(ω)范畴强极小集,该集在模型理论意义上没有适当的非平凡约简。

MSC公司:

03C35号 理论的分类和完整性
03C40号 插值、保存、可定义性
03C60型 模型理论代数
03立方厘米10 量词消除、模型完整性和相关主题
20B35码 对称群的子群
20B27型 无限自同构群
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 无数范畴理论(1993)
[2] DOI:10.1016/0168-0072(95)00037-2·Zbl 0858.03039号 ·doi:10.1016/0168-0072(95)00037-2
[3] 模型理论课程40(2012)
[4] 《伦敦数学学会杂志》42页64–(1990)
[5] 一阶结构的自同构(1994)·Zbl 0797.00010号
[6] DOI:10.1007/BF02579282·Zbl 0492.05036号 ·doi:10.1007/BF02579282
[7] 寡形置换群152(1990)·Zbl 0813.20002号
[8] 分类理论(Proceedings,Chicago,1985)1292 pp 132–(1987)
[9] DOI:10.1007/BF01214702·Zbl 0313.20022号 ·doi:10.1007/BF01214702
[10] 模型理论(1993)
[11] 《欧洲数学杂志》11第17页–(2013)
[12] 代数i Logika 29 pp 368–(1990)
[13] 内政部:10.1090/conm/558/11058·doi:10.1090/conm/558/11058
[14] {\(\Lambda\)}简介-树(2001)·兹伯利1004.20014
[15] 与中间性相关的关系:它们的结构和自同构131(1998)·Zbl 0896.08001号
[16] 伦敦数学学会会刊72页63–(1996)
[17] 分类理论和非同构模型的数量(1990)
[18] 牛津逻辑指南32(1996)
[19] 内政部:10.1016/j.aim.2014.08.008·Zbl 1403.03053号 ·doi:10.1016/j.aim.2014.08.008
[20] 伦敦数学学会会刊50 pp 265–(1985)
[21] 内政部:10.1017/S0963548304006716·Zbl 1059.05103号 ·doi:10.1017/S0963548304006716
[22] 内政部:10.1112/blms/12.4303·兹比尔0443.20001 ·doi:10.1112/blms/12.4303
[23] DOI:10.1016/0168-0072(95)00061-5·Zbl 0865.03025号 ·doi:10.1016/0168-0072(95)00061-5
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。