Bleybel, Ali 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. Cited in 1 Review MSC: 03C64 Model theory of ordered structures; o-minimality Keywords:o-minimality; exponential function; analytic structure; field of logarithmic-exponential power series PDF BibTeX XML Cite \textit{A. Bleybel}, Notre Dame J. Formal Logic 52, No. 3, 255--265 (2011; Zbl 1258.03042) Full Text: DOI OpenURL