×
加布里埃尔·科南特

整数组和Presburger算法之间没有中间结构。 （英语） Zbl 1447.03006号

J.塞姆。日志。 83，第1期，187-207（2018）.
摘要：我们证明了如果一个一阶结构（mathcalM）具有宇宙（mathbb{Z}），是（（mathbb{Z}，+，0）的展开式和（（mathbb{Z{，+，<，0））的约简式，那么（mathcal M）必须与（（mathbb{Z}，+、0））或（（mat血红蛋白{Z}，+、<、0）互定义。

引用于8文件

MSC公司：

03C64号 有序结构的模型理论；o极小性
03C07号机组 一阶语言和结构的基本性质
03C45号机组 分类理论、稳定性和模型理论中的相关概念
03C62号 算术和集合论模型

关键词：

普雷斯伯格算法;整数群的展开式;dp-最小值
PDF格式BibTeX公司 XML格式引用
\textit{G.Conant}，J.Symb。日志。83，第1号，187--207（2018；Zbl 1447.03006）
全文： DOI程序 arXiv公司

参考文献：

[1] 阿劳夫。和D’ElbéeC。，整数的新dp最小展开，2017，arXiv:1707.07203[math.LO]。
[2] ArtinM.、。，代数，普伦蒂斯·霍尔公司，新泽西州恩格尔伍德克利夫斯，1991年·Zbl 0788.00001号
[3] 阿舍布伦纳，多利查。，Haskell博士。，麦弗逊公司。，和StarchenkoS。，Vapnik-Chervonenkis密度在某些理论中没有独立性，II。《圣母院形式逻辑杂志》，第54卷（2013），第3-4期，第311-363.10.1215/00294527-2143862页·Zbl 1436.03185号
[4] 阿舍布伦纳，多利查。，哈斯克尔博士。，麦弗逊公司。，和StarchenkoS。，《某些理论中的Vapnik-Chervonenkis密度不具有独立性》，《美国数学学会学报》，第368卷（2016年），第8期，第5889-5949页·Zbl 1423.03119号
[5] 爆炸。，解决“木板问题”。《美国数学学会会刊》，第2卷（1951年），第990-993页·Zbl 0044.37802号
[6] 白俄罗斯。，彼得齐尔。，和WagnerF。，准o-minimal结构，本期刊，第65卷（2000年），第3期，第1115-1132页·Zbl 0968.03043号
[7] CluckersR、。，Presburger集和p-极小域，本期刊，第68卷（2003年），第1期，第153-162页·Zbl 1046.03019号
[8] ConantG公司。和PillayA。，稳定群和（ℤ，+，0）的展开式。预印本，2016年，arXiv:1601.05692·Zbl 1459.03042号
[9] 多利卡。和Goodrick J。，有序阿贝尔群的强大理论。《数学基础》，第236卷（2017年），第3期，第269-296.10.4064/fm256-5-2016页·Zbl 1420.03065号
[10] 多利查。，古德里克J。，和LippelD。，Dp-极小性：基本事实和示例。《圣母院形式逻辑期刊》，第52卷（2011年），第3期，第267-288.10.1215/0294527-1435456页·Zbl 1258.03036号
[11] 卡德茨五世。，由凸体和内切球覆盖。《美国数学学会学报》，第133卷（2005），第5期，第1491-1495.10.1090/S0002-9939-04-07650-6页·Zbl 1067.52008年
[12] 卡普兰。和ShelahS。，素数整数理论的可判定性和分类。预印本，2016年，arXiv:1601.07099·Zbl 1422.03071号
[13] 标记D。，《美国数学学会学报》，第320卷（1990年），第2期，第581-592页·Zbl 0778.03009号
[14] MarkerD公司。，模型理论，数学研究生教材，第217卷，Springer-Verlag，纽约，2002年·Zbl 1003.03034号
[15] 米肖C。和维勒迈尔。，Presburger算法和自动机对自然数集的识别：Cobham和Semenov定理的新证明。《纯粹与应用逻辑年鉴》，第77卷（1996），第3期，第251-277.10.1016/0168-0072（95）00022-4页·Zbl 0857.03003号
[16] PalacínD。和Sklinos R。，自由阿贝尔群的超稳定展开。预印本，2014年，arXiv:1405.0568。
[17] 皮拉亚。，几何稳定性理论，《牛津逻辑指南》，第32卷，克拉伦登出版社，牛津大学出版社，纽约，1996年·Zbl 0871.03023号
[18] F点。，关于Presburger算法的可判定扩展：从A.Bertrand记数系统到Pisot数，本刊，第65卷（2000年），第3期，第1347-1374页·Zbl 0971.03013号
[19] 波扎特B。，Supergénérix，《代数杂志》，第404卷（2014年），第240-270页，《埃里克·贾利戈》。【纪念埃里克·贾利戈特】10.1016/j.jalgebra.2014.01.026·Zbl 1346.20060号
[20] Presburger M.，《Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen》，《welchem die Additional als einzige Operation hervortritt》，《支付奴隶数学大会，华沙，1929年，第92-101页。
[21] 压力M。，《模型理论与模块》，《代数手册》，第3卷，北荷兰，阿姆斯特丹，2003年，第227-253页·兹比尔1083.16001
[22] 西蒙。，NIP理论指南，逻辑课堂讲稿，第44卷，符号逻辑协会，伊利诺伊州芝加哥；剑桥科学出版社，剑桥，2015年·Zbl 1332.03001号
[23] 塔尔斯基。，Uwagi o stopniu równoważno she ci wielokatów。参数，第2卷（1931-1932），第310-314页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。