×

一些无法合并的可定义类型。 (英语) Zbl 07737985号

摘要:我们展示了一个可定义类型缺乏合并属性的理论。
{©2023作者。数理逻辑学报由Wiley-VCH GmbH.}出版

MSC公司:

03年XX月 数学逻辑和基础
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Y.Baisalov和B.Poizat,《最小结构对》,J.Symb。日志63570-578(1998年)·Zbl 0910.03025号
[2] P.Cubides Kovacsics和F.Delon,代数闭值域中的可定义类型,数学。日志。Q.62,35-45(2016)·Zbl 1371.03046号
[3] P.Cubides Kovacsics、M.Hils和J.Ye,《美丽的情侣》,https://arxiv.org/abs/2112.00651 (2021).
[4] M.Hils、M.Kamensky和S.Rideau,可分离闭值字段中的想象,Proc。伦敦。数学。Soc.(3)1161457-1488(2018)·Zbl 1414.03008号
[5] M.Hils和S.Rideau‐Kikuchi,Un principle d'Ax‐Kochen‐Ershov imaginaire,https://arxiv.org/abs/2109.12189 (2021).
[6] E.Hrushovski和F.Loeser,《非阿基米德Tame拓扑和稳定支配类型》,《数学研究年鉴》第192卷(普林斯顿大学出版社,2016年)·Zbl 1365.14033号
[7] W.Johnson,《关于代数闭值域中消除想象的证明》,《圣母院J.Form.Log.61》,363-381(2020)·兹比尔1485.03124
[8] J.Kirby,《模型理论邀请函》(剑桥大学出版社,2019年)·Zbl 1532.03001号
[9] D.Marker和C.I.Steinhorn,最小理论中的可定义类型,J.Symb。日志59185-198(1994)·Zbl 0801.03026号
[10] B.Poizat,《马厩结构对》,J.Symb。Log.48239-249(1983)·Zbl 0525.03023号
[11] S.Rideau,存在闭值微分域中的映象和不变类型,J.Reine Angew。数学2019(750),157-196(2019)·Zbl 1496.03159号
[12] P.Touchard,Henselian值字段的稳定嵌入子模型,https://arxiv.org/abs/2005.02363(2020年)。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。