Searching for "Logarithmic-exponential series." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Logarithmic-Exponential Series
- …LOGARITHMIC-EXPONENTIAL SERIES Lou van den Dries*, Angus Macintyre** and David Marker*** Abstract…
- Cited by 1 (0 self) – Add To MetaCart
-
A NOTE ON EXPONENTIAL-LOGARITHMIC AND LOGARITHMIC-EXPONENTIAL SERIES
- …A NOTE ON EXPONENTIAL-LOGARITHMIC AND LOGARITHMIC-EXPONENTIAL SERIES SALMA KUHLMANN AND MARCUS…
- Add To MetaCart
-
Logarithmic-Exponential Power Series
- …Logarithmic-Exponential Power Series Lou van den Dries* University of Illinois, Urbana Angus…
- Cited by 11 (3 self) – Add To MetaCart
-
A Failure of Quantifier Elimination
- … is the logarithmic-exponential series field R((t)) LE constructed in [3]. For the remainder of the proof we assume…
- Add To MetaCart
-
Model Theory and Real Exponentiation
- …. 8 x6 Logarithmic-exponential series The axiomatization of the theory of R an;exp leads to a…
- Add To MetaCart
-
Model theory and exponentiation
- … corollary is that every definable function is majorized by an iterated exponential. Logarithmic-Exponential…
- Cited by 3 (0 self) – Add To MetaCart
-
Liouville closed H-fields
- …-theoretic understanding of the differential field R((t)) LE of logarithmic-exponential series [12]. Here we develop…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 7.
