Switch to: Citations

Add references

You must login to add references.
  1. The Elementary Theory of Restricted Analytic Fields with Exponentiation.Lou van den Dries, Angus Macintyre & David Marker - 2000 - Bulletin of Symbolic Logic 6 (2):213-216.
  • Logarithmic-exponential series.Lou van den Dries, Angus Macintyre & David Marker - 2001 - Annals of Pure and Applied Logic 111 (1-2):61-113.
    We extend the field of Laurent series over the reals in a canonical way to an ordered differential field of “logarithmic-exponential 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 operators to show that each LE-series has a formal integral. We give evidence for the conjecture that the field of LE-series is a universal domain for ordered differential algebra in Hardy fields. We define (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Expansions of dense linear orders with the intermediate value property.Chris Miller - 2001 - Journal of Symbolic Logic 66 (4):1783-1790.