Home
Scholarly Works
The real field with convergent generalized power...
Journal article

The real field with convergent generalized power series

Abstract

We construct a model complete and o-minimal expansion of the field of real numbers in which each real function given on [0,1][0,1] by a series ∑cnxαn\sum c_{n} x^{\alpha _{n}} with 0≤αn→∞0 \leq \alpha _{n} \rightarrow \infty and ∑|cn|rαn1r>1 is definable. This expansion is polynomially bounded.

Authors

van den Dries L; Speissegger P

Journal

Transactions of the American Mathematical Society, Vol. 350, No. 11, pp. 4377–4421

Publisher

American Mathematical Society (AMS)

Publication Date

January 1, 1998

DOI

10.1090/s0002-9947-98-02105-9

ISSN

0002-9947

Contact the Experts team