The Field of Reals with Multisummable Series and the Exponential Function
The Field of Reals with Multisummable Series and the Exponential Function
复制标题
具有多重可和级数和指数函数的实数域
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
P. Speissegger
中科院分区：
文献类型：
--
作者：
L. Dries;P. Speissegger
证明了具有多可和真实的幂级数的真实的数域是模型完备的、o-极小的和多项式有界的.通过指数函数的进一步扩展再次产生模型完备和o-极小结构，其是指数有界的，并且其中正真实的线上的Gamma函数是可定义的。2000年数学科目分类：小学03 C10、32 B 05、32 B20;中学26 E05。
We show that the field of real numbers with multisummable real power series is model complete, o‐minimal and polynomially bounded. Further expansion by the exponential function yields again a model complete and o‐minimal structure which is exponentially bounded, and in which the Gamma function on the positive real line is definable. 2000 Mathematics Subject Classification: primary 03C10, 32B05, 32B20; secondary, 26E05.