×
Eleftheriou，Pantelis E。;阿萨夫·哈森;吉尔·克伦

弱o-极小非值结构中的可定义Skolem函数。 （英语） Zbl 1385.03041号

J.塞姆。日志。 82，第4号，1482-1495（2017）.
研究了弱o-极小非赋值结构是序群的弱o-最小扩张，且不允许有一个可定义的真非平凡凸子群。作者证明，与o-极小迹的有序群约简基本等价的结构没有可定义的Skolem函数（有序群的弱o-极小展开的所有已知示例都是o-极小轨迹）。他们还证明了弱o-极小非赋值结构消除了可定义割集的可定义族。最后，他们构造了一个有序群的弱o-极小展开的例子，这个有序群不是o-极小迹的约简，这表明o-极小轨迹的约简类不是初等的。
审核人：Beibut Kulpeshov（阿拉木图）

引用于1审查
引用于5文件

MSC公司：

03C64号 有序结构的模型理论；o极小性
2015年1月6日 有序的组
03C10号机组 量词消除、模型完整性和相关主题

关键词：

弱o-极小;有序组;可定义的Skolem函数;o最小记录道
PDF格式BibTeX公司 XML格式引用
\textit{P.E.Eleftheriou}等人，J.Symb。日志。82，第4号，1482--1495（2017；Zbl 1385.03041）
全文： 内政部 arXiv公司

参考文献：

[1] 贝萨洛夫。和PoizatB。，最小结构对，本刊，第63卷（1998年），第2期，第570-578页·Zbl 0910.03025号
[2] 巴尔·耶胡达。，关于弱o-极小非赋值结构的规范o-极小完备的约简，M.Sc.论文，以色列内盖夫本古里安大学，2016年。
[3] 切尔林。和迪克曼。A.，实闭环II。模型理论。《纯粹和应用逻辑年鉴》，第25卷（1983年），第3期，第213-231.10.1016/0168-0072（83）90019-2页·Zbl 0538.03028号
[4] 哈松A。和OnshuusA。，嵌入式最小结构。《伦敦数学学会公报》，第42卷（2010年），第1期，第64-74.10.1112/blms/bdp098页·Zbl 1187.03034号
[5] 拉斯科夫斯基。C.和ShawC。，一类弱o-极小理论的可定义选择。《数理逻辑档案》，第55卷（2016），第5期，第735-748.10.1007/s00153-016-0490-y页·Zbl 1364.03052号
[6] 麦克弗森博士。，标记D。，和斯坦霍恩。，弱o-极小结构和实闭域。《美国数学学会学报》，第352卷（2000年），第12期，第5435-5483页（电子版）。10.1090/S0002-9947-00-02633-7·Zbl 0982.03021号
[7] 标记D。，省略o-minimal理论中的类型，本期刊，第51卷（1986年），第1期，第63-74页·Zbl 0596.03031号
[8] 米勒公司。和StarchenkoS。，有序群的o-极小展开的增长二分法。《美国数学学会学报》，第350卷（1998年），第9期，第3505-3521.10.1090/S0002-9947-98-02288-0页·Zbl 0904.03022号
[9] van den DriesL，《Tame拓扑和o-minimal结构》，剑桥大学出版社，剑桥，1998年·Zbl 0953.03045号
[10] van den DriesL，o极小结构的稠密对。《数学基础》，第157卷（1998年），第1期，第61-78页·Zbl 0906.03036号
[11] van den DriesL，《o-极小结构中的极限集》，o-极小结构，《2003年里斯本RAAG暑期学校学报》（EdmundoM.、RichardsonD.和WilkieA.编辑），《实代数和解析几何讲义》，Cuvillier Verlag，2005年。
[12] 温塞尔。，弱o-最小非价值结构。《纯粹和应用逻辑年鉴》，第154卷（2008），第3期，第139-162.10.1016/j.apal.2008.01.09页·Zbl 1146.03027号
[13] 温塞尔。，弱o-极小非赋值结构的凸谓词展开。《数学基础》，第202卷（2009年），第2期，第147-159.10.4064/fm202-2-3页·Zbl 1159.03024号
[14] 温塞尔。，弱o-极小结构的强细胞分解性质。《数学逻辑季刊》，第59卷（2013），第6期，第452-470.1002/malq.201200016页·Zbl 1325.03041号
[15] 威尔基亚。J.，模型完备性是实数有序域通过受限Pfaffian函数和指数函数展开的结果。《美国数学学会杂志》，第9卷（1996年），第4期，第1051-1094.10.1090/S0894-0347-96-00216-0页·Zbl 0892.03013号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。