×

可定义函数在o-极小结构的曲线上连续。 (英语) Zbl 1351.03024号

小结:我们给出了o-极小域中非振荡曲线的充要条件,使得对于任何有界可定义函数,曲线初始段上函数的芽具有闭集的可定义扩张。这种情况可以转化为一个关于类型的问题:对于任何有界可定义函数,类型上的函数的胚具有可定义的连续全局扩展,类型上的条件是什么?某些类别的可定义类型具有这种性质,我们给出了与全局扩张存在等价的精确条件。

MSC公司:

03C64号 有序结构的模型理论;o极小性
26B05号 连续性和差异化问题
第26页至第10页 \(C^\infty\)-函数,拟解析函数
第14页,共15页 实分析集和半分析集
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 赫鲁肖夫斯基,E。;Loeser,F.,《非阿基米德驯服拓扑和稳定支配类型》(2010年),预印本·Zbl 1365.14033号
[2] Malgrange,Bernard,Sur les points singuliers deséquations différentielles,Enseign。数学。,20, 2, 147-176 (1974) ·兹比尔0299.34011
[3] Marker,David,o极小理论中的省略类型,J.符号逻辑,51,1,63-74(1986年3月)·Zbl 0596.03031号
[4] 马克,大卫;查尔斯·斯坦霍恩(Charles Steinhorn),《o-极小理论中的可定义类型》(Definable types in o-minimal theory),《符号逻辑》(J.Symbolic Logic),第59卷,第185-197页(1994年3月)·Zbl 0801.03026号
[5] Miller,Chris,用幂函数展开实场,Ann.Pure Appl。逻辑,68,179-94(1994年6月)·Zbl 0823.03018号
[6] Tressl,Marcus,通过Dedekind cuts扩展的o-minimal结构的模型完整性,J.符号逻辑,70,1,29-60(2005年3月)·Zbl 1097.03032号
[7] van den Dries,Lou,Tame拓扑和o-Minimal结构,伦敦数学。Soc.课堂讲稿Ser。,第248卷(1998),剑桥大学出版社:剑桥大学出版社·Zbl 0953.03045号
[8] 范登·德里斯(Lou van den Dries);Lewenberg,Adam H.,(T)-凸性与驯服扩展,符号逻辑杂志,60,1,74-102(1995)·Zbl 0856.03028号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。