# THE REAL FIELD WITH CONVERGENT GENERALIZED POWER SERIES

@article{Dries1998THERF, title={THE REAL FIELD WITH CONVERGENT GENERALIZED POWER SERIES}, author={Lou van den Dries and Patrick Speissegger}, journal={Transactions of the American Mathematical Society}, year={1998}, volume={350}, pages={4377-4421} }

We construct a model complete and o-minimal expansion of the field of real numbers in which each real function given on [0, 1] by a series ∑ cnxn with 0 ≤ αn → ∞ and ∑ |cn|rαn 1 is definable. This expansion is polynomially bounded.

#### 112 Citations

On generalized series fields and exponential-logarithmic series fields with derivations

- Mathematics
- 2012

We survey some important properties of fields of generalized s ries and of exponential-logarithmic series, with particular emphasi s on their possible di fferential structure, based on a joint work… Expand

Equivariant Differential Topology in an O-Minimal Expansion of the Field of Real Numbers

- Mathematics
- 2001

Abstract We establish basic properties of differential topology for definable C r G manifolds in an o-minimal expansion M of R =( R ,+,·, , where 0⩽ r ⩽ ω and G is a definable C r group.

On generalized series fields and exponential-logarithmic series fields with derivations

- Mathematics
- 2014

We survey some important properties of fields of generalized series and of exponential-logarithmic series, with particular emphasis on their possible differential structure, based on a joint work of… Expand

Local monomialization of generalized analytic functions

- Mathematics
- 2013

Generalized power series extend the notion of formal power series by considering exponents of each variable ranging in a well ordered set of positive real numbers. Generalized analytic functions are… Expand

O-minimal Analytic Separation of Sets in Dimension 2

- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2009

If the set of analytic germs is dense in the Hardy field, then it can definably analytically separate sets in R 2, and the same statement holds for definable smooth functions. Expand

Definable obstruction theory

- 2014

Let N = (R,+, ·, <, . . . ) be an o-minimal expansion of the standard structure of a real closed field R. In this paper, we consider an obstruction theory in the definable category of N . 2010… Expand

Basics of O-minimality and Hardy Fields

- Mathematics
- 2012

This paper consists of lecture notes on some fundamental results about the asymptotic analysis of unary functions definable in o-minimal expansions of the field of real numbers.

Differential equations over polynomially bounded o-minimal structures

- Mathematics
- 2002

We investigate the asymptotic behavior at +∞ of non-oscillatory solutions to differential equations y' = G(t, y), t > a, where G: R 1+l → R l is definable in a polynomially bounded o-minimal… Expand

Mildness and the Density of Rational Points on Certain Transcendental Curves

- Computer Science, Mathematics
- Notre Dame J. Formal Log.
- 2011

We use a result due to Rolin, Speissegger, and Wilkie to show that definable sets in certain o-minimal structures admit definable parameterizations by mild maps. We then use this parameterization to… Expand

Transition maps at non-resonant hyperbolic singularities are o-minimal

- Mathematics
- 2006

Abstract We construct a model complete and o-minimal expansion of the field of real numbers such that, for any planar analytic vector field ξ and any isolated, non-resonant hyperbolic singularity p… Expand

#### References

SHOWING 1-10 OF 21 REFERENCES

Logarithmic-Exponential Power Series

- Mathematics
- 1997

We use generalized power series to construct algebraically a nonstandard model of the theory of the real field with exponentiation. This model enables us to show the undefinability
of the zeta… Expand

Expansions of the Real Field with Power Functions

- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 1994

It is shown that the (O-minimal) theory of the ordered field of real numbers augmented by all restricted analytic functions and all real power functions admits elimination of quantifiers and has a universal axiomatization. Expand

The Elementary Theory of Restricted Analytic Fields with Exponentiation

- Mathematics
- 1994

numbers with exponentiation is model complete. When we combine this with Hovanskii's finiteness theorem [9], it follows that the real exponential field is o-minimal. In o-minimal expansions of the… Expand

Tame Topology and O-minimal Structures

- Mathematics, Computer Science
- 1998

1. Some elementary results 2. Semialgebraic sets 3. Cell decomposition 4. Definable invariants: Dimension and Euler characteristic 5. The Vapnik-Chernovenkis property in o-minimal structures 6.… Expand

Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function

- Mathematics
- 1996

Recall that a subset of R is called semi-algebraic if it can be represented as a (finite) boolean combination of sets of the form {~ α ∈ R : p(~ α) = 0}, {~ α ∈ R : q(~ α) > 0} where p(~x), q(~x) are… Expand

Geometric categories and o-minimal structures

- Mathematics
- 1996

The theory of subanalytic sets is an excellent tool in various analytic-geometric contexts; see, for example, Bierstone and Milman [1]. Regrettably, certain “nice” sets—like { (x, x) : x > 0 } for… Expand

Lectures on Riemann Surfaces

- Mathematics
- 1999

Contents: Covering Spaces.- Compact Riemann Surfaces.- Non-compact Riemann Surfaces.- Appendix.- References.- Symbol Index.- Author and Subject Index.

Semianalytic and subanalytic sets

- Mathematics
- 1988

0. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 I. The Tarski-Seidenberg… Expand

Semianalytic and subanalytic sets, Inst

- Hautes Etudes Sci. Publ. Math
- 1988

Sur les ensembles semi-analytiques avec condition Gevrey au bord MR 94m:32013 16. , Paramétrisations de petits chemins en géométrie analytique réelle, Singularities and Differential Equations

- Ann. Sc. Ec. Norm. Sup. Polish Acad. Sci. CMP
- 1994