可定义类型空间的可定义性
AMS MathViewer支持的HTML文章
通过 巴勃罗·库比德斯（Pablo Cubides Kovacsics） 和 金河叶 HTML格式 | PDF格式 程序。 阿米尔。 数学。 Soc.序列号。 B类 8 (2021), 173-188
摘要：
工具书类
弗拉基米尔·别尔科维奇 ， 光滑$p$-adic分析空间是局部可压缩的 ，发明。 数学。 137 （1999），第1期，第1-84页。 先生 1702143 ，内政部 2007/1002220050323 昆汀·布鲁特 ， 闭序微分场理论中的可定义类型 ，建筑。 数学。 逻辑 56 （2017），第1-2期，第119-129页。 先生 3598799 ，内政部 2007年10月1日/00153-016-0517-4 格雷戈里·切尔林 和 马克斯·迪克曼 ， 真正的闭合环。 二、。 模型理论 Ann.Pure应用。 逻辑 25 （1983年），第3期，213-231。 先生 730855 ，内政部 10.1016/0168-0072(83)90019-2 Raf Cluckers公司 ， Presburger集合和$p$-最小字段 ，J.符号逻辑 68 （2003），第1期，153-162。 先生 1959315 ，内政部 10.2178/jsl/1045861509 加布里埃尔·科南特和索马耶·沃达尼， Presburger算法中的可定义类型和f泛型 ，网址为 https://www.dpmms.cam.ac.uk/ ~gc610/Math/presburger_note.pdf . 巴勃罗·库比德斯（Pablo Cubides Kovacsics） 和 弗朗索瓦斯·德隆 ， 代数闭值域中的可定义类型 ，MLQ数学。 日志。 问：。 62 （2016），第1-2期，第35–45页。 先生 3472177 ，内政部 2014年10月102日/月39日 巴勃罗·库比德斯（Pablo Cubides Kovacsics）和弗朗索瓦斯·波因特（Françoise Point）， 具有泛型派生的拓扑字段 ，arXiv： 1912.07912 [math.LO]，2020年。 弗朗索瓦斯·德隆 ， Définissabilitéavec paramètres exterieurs dans$\textbf的可完成性 {Q} （p） $集$\textbf{R}$ ， 程序。 阿米尔。 数学。 Soc公司。 106 (1989), 1号 ，193-198（法语，带英语摘要）。 先生 953003 ，内政部 10.1090/S0002-9939-1989-0953003-8 克利夫顿·伊利 ， 迪尔德雷·哈斯克尔 、和 贾娜·马西科娃 ， 实闭域中的剩余域控制 《圣母院J.Form.Log》。 60 （2019），第3期，333–351。 先生 3985616 ，内政部 10.1215/00294527-2019-0015 安东尼奥·恩格尔 和 亚历山大·普雷斯特尔 ， 有值字段 《Springer数学专著》，Springer-Verlag出版社，柏林，2005年。 先生 2183496 安东朱利奥·福纳西耶罗和埃利奥特·卡普兰， o-极小结构上的泛型导子 ，arXiv： 1905.07298 [math.LO]，2019年。 迪尔德雷·哈斯克尔 ， 埃尤德·赫鲁索夫斯基 、和 杜加尔德·麦克弗森 ， 代数闭值域中的可定义集：消象 ，J.Reine Angew。 数学。 597 (2006), 175–236. 先生 2264318 ，内政部 10.1515/CRELLE.2006.066号 埃尤德·赫鲁索夫斯基 和 弗朗索瓦·勒瑟 ， 非阿基米德驯服拓扑和稳定支配类型 《数学研究年鉴》，第192卷，普林斯顿大学出版社，新泽西州普林斯顿，2016年。 先生 3445772 ，内政部 10.1515/9781400881222 菲利普·杰尔（Philipp Jell）、克劳斯·谢德勒（Claus Scheiderer）和约瑟夫·余（Josephine Yu）， 半代数集的实热带化与分析 ，《国际数学研究通告（2020）》，rnaa112。 莫舍·卡门斯基 ， 独立和预定义集 Ann.Pure应用。 逻辑 147 （2007），第3期，180–186。 先生 2335085 ，内政部 2016年10月10日/j.apal.2007.04.003 大卫·马克 和 查尔斯·斯坦霍恩 ， $\scr O$中的可定义类型-最小理论 ，J.符号逻辑 59 （1994），第1期，185-198。 先生 1264974 ，内政部 10.2307/2275260 T.梅勒 ， 实闭值字段中的想象 Ann.Pure应用。 逻辑 139 （2006），第1-3、230–279号。 先生 2206257 ，内政部 2016年10月10日/j.apal.2005年5月14日 阿南德·皮莱 ， 稳定性理论简介 《牛津逻辑指南》，第8卷，克拉伦登出版社，牛津大学出版社，纽约，1983年。 先生 719195 布鲁诺·波扎特 ， 马厩结构配对 ，J.符号逻辑 48 （1983），第2期，239–249页（法语）。 先生 704080 ，内政部 10.2307/2273543 亚历山大·普雷斯特尔 和 彼得·罗奎特 ， 正式的$p$-adic字段 《数学讲义》，第1050卷，施普林格-弗拉格出版社，柏林，1984年。 先生 738076 ，内政部 2007年10月10日/BFb0071461 皮埃尔·西蒙 ， NIP理论指南 《逻辑讲义》，第44卷，符号逻辑协会，伊利诺伊州芝加哥； 剑桥科学出版社，剑桥，2015。 先生 3560428 ，内政部 2017年10月10日/CBO9781107415133 皮埃尔·图查德， henselian值域的稳定嵌入子模型 ，arXiv预打印arXiv： 2005.02363 (2020).
其他信息
巴勃罗·库比德斯（Pablo Cubides Kovacsics） 附属机构：海因里希-海因大学杜塞尔多夫数学研究所。 德国杜塞尔多夫40225 MR作者ID： 1099792 ORCID代码： 0000-0002-9689-2132 金河叶 附属机构：巴黎索邦大学巴黎河高切Jussieu-Paris Rive Gauche数学研究所-Pierre et Marie Curie 4校区Jussieu-Boite Courrier 247 75252 Paris Cedex 05 MR作者ID： 1404098 ORCID代码： 0000-0002-9530-8010 电子邮件： jinhe.ye@imj-prg.fr 编辑接收日期：2020年6月3日 编辑收到修订版：2020年11月23日和2021年2月8日 电子发布日期：2021年6月9日 附加说明：第一作者获得了ERC项目TOSSIBERG（拨款协议637027）、ERC项目MOTMELSUM（拨款协议615722）和个人研究拨款的部分支持 Archimedische und nicht-Archimedische-Stratifizierengen höherer Ordnung 由DFG资助。 第二位作者获得了NSF研究拨款DMS1500671的部分支持 通讯人：Heike Mildenberger ©版权所有2021 作者根据 Creative Commons Attribution-Noncommercial 3.0许可 ( 抄送：NC 3.0 ) 期刊：Proc。 阿米尔。 数学。 Soc.序列号。 B类 8 (2021), 173-188 MSC（2020）：小学11S80； 次级11U09 内政部： https://doi.org/10.1090/bproc/85 MathSciNet评论： 4273164