The real field with convergent generalized power series

Lou van den Dries; Patrick Speissegger

The real field with convergent generalized power series

Research output: Contribution to journal › Article › peer-review

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 ∑c_nx^αn with 0 ≤ α_n → ∞ and ∑ |c_n|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

Access to Document

Fingerprint Dive into the research topics of 'The real field with convergent generalized power series'. Together they form a unique fingerprint.

Cite this

@article{784778a145c34c97895cdc21b75b1d49,

title = "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] by a series ∑cnxαn with 0 ≤ αn → ∞ and ∑ |cn|rαn < ∞ for some r > 1 is definable. This expansion is polynomially bounded.",

keywords = "Blowing-up, Model completeness, O-minimal structures, Power series",

author = "{van den Dries}, Lou and Patrick Speissegger",

year = "1998",

month = dec,

day = "1",

language = "English (US)",

volume = "350",

pages = "4377--4421",

journal = "Transactions of the American Mathematical Society",

issn = "0002-9947",

publisher = "American Mathematical Society",

number = "11",

}

TY - JOUR

T1 - The real field with convergent generalized power series

AU - van den Dries, Lou

AU - Speissegger, Patrick

PY - 1998/12/1

Y1 - 1998/12/1

N2 - 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.

AB - 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.

KW - Blowing-up

KW - Model completeness

KW - O-minimal structures

KW - Power series

UR - http://www.scopus.com/inward/record.url?scp=0141542135&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0141542135&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0141542135

VL - 350

SP - 4377

EP - 4421

JO - Transactions of the American Mathematical Society

JF - Transactions of the American Mathematical Society

SN - 0002-9947

IS - 11

ER -