## The field of LE-series with a nonstandard analytic structure.(English)Zbl 1258.03042

Notre Dame J. Formal Logic 52, No. 3, 255-265 (2011); correction ibid. 57, No. 1, 151 (2016).
Summary: 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.

### MSC:

 03C64 Model theory of ordered structures; o-minimality
Full Text: