×

可定义解析函数环的一个严格正解。 (英语) Zbl 1270.03058号

证明了一类结构中可定义解析函数的严格正解。这种结构包括每个连续可定义函数都由解析函数控制的结构,以及在多项式有界结构中可定义的光滑函数的某些拟解析子环。

MSC公司:

03C64号 有序结构的模型理论;o极小性
第14页 半代数集与相关空间
13J30型 实代数
第26页至第10页 \(C^\infty\)-函数,拟解析函数
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] F.Acquistapace、C.Andradas和F.Broglia,《整体分析函数的严格正态性和半分析集的矩问题》,数学。Ann.316(2000),第4期,609–616·Zbl 0978.14003号 ·doi:10.1007/s002080050346
[2] F.Acquistapace、C.Andradas和F.Broglia,《o-极小结构上可定义函数的正态性》,伊利诺伊州数学杂志。46(2002),第3期,685–693·Zbl 1018.03037号
[3] Jacek Bochnak、Michel Coste和Marie-Françoise Roy,实代数几何,Ergebnisse der Mathematik und ihrer Grenzgebiete(3)[数学和相关领域的结果(3)],第36卷,Springer-Verlag,柏林,1998年。翻译自1987年的法语原文;由作者修订·Zbl 0912.14023号
[4] M.Coste,《O-极小几何导论》。浸渍。比萨大学Mat.Univ.Pisa,《Matematica中的Dottorato di Ricerca》,《国际政治杂志》,比萨,2000年。
[5] Alexander Prestel和Charles N.Delzell,正多项式,施普林格数学专著,施普林格出版社,柏林,2001年。从希尔伯特的第17个问题到实代数·Zbl 0987.13016号
[6] Lou van den Dries,Tame拓扑和o-minimal结构,伦敦数学学会讲义系列,第248卷,剑桥大学出版社,1998年·兹比尔0953.03045
[7] Lou van den Dries和Chris Miller,《几何范畴和o-最小结构》,杜克数学。J.84(1996),第2期,497–540·Zbl 0889.03025号 ·doi:10.1215/S0012-7094-96-08416-1
[8] A.Fischer,《可微函数的正性》,《正性》。DOI:10.1007/s11117-010-0077-5·Zbl 1233.03042号
[9] J.-L.Krivine,Anneaux préordonés,J.分析数学。12(1964),307–326(法语)·Zbl 0134.03902号 ·doi:10.1007/BF02807438
[10] Chris Miller,多项式有界o-极小结构的无穷可微性,Proc。阿默尔。数学。Soc.123(1995),第8期,2551–2555·Zbl 0823.03019号
[11] 克里斯·米勒(Chris Miller),《具有中间值性质的稠密线性序展开》,《符号逻辑》66(2001),第4期,1783-1790·Zbl 1001.03039号 ·doi:10.2307/2694974
[12] J.-P.Rolin、P.Speissegger和A.J.Wilkie,拟解析Denjoy-Carleman类和o-极小性,J.Amer。数学。Soc.16(2003),第4期,751–777·Zbl 1095.26018号
[13] Konrad Schmüdgen,The-紧半代数集的矩问题,数学。《Ann.289》(1991),第2期,203-206·Zbl 0744.44008号 ·doi:10.1007/BF01446568
[14] Masahiro Shiota,Nash映射和Nash流形的逼近定理,Trans。阿默尔。数学。Soc.293(1986),第1期,319–337·Zbl 0601.58005号
[15] 吉尔伯特·斯坦格尔(Gilbert Stengle),《半代数几何中的零星体和正星体》(A nullstellensatz and A positivstellenssatz),数学。Ann.207(1974),87-97·Zbl 0253.14001号 ·doi:10.1007/BF01362149
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。