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] by a series ∑cnxαn with 0 ≤ αn → ∞ and ∑ |cn|rαn < ∞ for some r > 1 is definable. This expansion is polynomially bounded.
Original language | English (US) |
---|---|
Pages (from-to) | 4377-4421 |
Number of pages | 45 |
Journal | Transactions of the American Mathematical Society |
Volume | 350 |
Issue number | 11 |
State | Published - Dec 1 1998 |
Keywords
- Blowing-up
- Model completeness
- O-minimal structures
- Power series
ASJC Scopus subject areas
- Mathematics(all)
- Applied Mathematics