Abstract
In this paper we prove that the field of Logarithmic-Exponential power series endowed with the exponential function and a class of analytic functions containing both the overconvergent functions in the t-adic norm and the usual strictly convergent power series is o-minimal.
Citation
Ali Bleybel. "The Field of LE-Series with a Nonstandard Analytic Structure." Notre Dame J. Formal Logic 52 (3) 255 - 265, 2011. https://doi.org/10.1215/00294527-1435447
Information