Logarithmic-exponential series
β
Lou van den Dries; Angus Macintyre; David Marker
π
Article
π
2001
π
Elsevier Science
π
English
β 379 KB
We extend the ΓΏeld of Laurent series over the reals in a canonical way to an ordered di erential ΓΏeld of "logarithmic-exponential series" (LE-series), which is equipped with a well behaved exponentiation. We show that the LE-series with derivative 0 are exactly the real constants, and we invert oper