The field of reals with multisummable series and the exponential function. (Q2766374)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The field of reals with multisummable series and the exponential function. |
scientific article; zbMATH DE number 1696290
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The field of reals with multisummable series and the exponential function. |
scientific article; zbMATH DE number 1696290 |
Statements
28 January 2002
0 references
field of real numbers with multisummable real power series
0 references
exponential function
0 references
o-minimal structure
0 references
Gamma function on the positive real line
0 references
model completeness
0 references
blowing-up
0 references
The field of reals with multisummable series and the exponential function. (English)
0 references