Abstract:The paper is a continuation of our earlier article where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full generality, which refers to one of its results, namely the theorem on an active infinitesimal, playing an essential role in our non-standard analysis. The general case was covered in our subsequent preprint, which constitutes a basis for the approach presented here. We also provide a quasianalytic exposition of the results concerning rectilinearization of terms and of definable functions from our earlier research. It will be used to demonstrate a quasianalytic structure corresponding to a Denjoy-Carleman class which, unlike the classical analytic structure, does not admit quantifier elimination in the language of restricted quasianalytic functions augmented merely by the reciprocal function. More precisely, we construct a plane definable curve, which indicates both that the classical theorem by J. Denef and L. van den Dries as well as Łojasiewicz's theorem that every subanalytic curve is semianalytic are no longer true for quasianalytic structures. Besides rectilinearization of terms, our construction makes use of some theorems on power substitution for Denjoy-Carleman classes and on non-extendability of quasianalytic function germs. The last result relies on Grothendieck's factorization and open mapping theorems for (LF)-spaces. Note finally that this paper comprises our earlier preprints on the subject from May 2012.

A general quantified Ingham-Karamata Tauberian theorem

Generalizations of Koga's version of the Wiener-Ikehara theorem

Wiener's Tauberian theorem in classical and quantum harmonic analysis

The prime number theorem through one-sided Tauberian theorems

On a space of functions with entire Laplace transforms and its connection with the optimality of the Ingham-Karamata theorem

Karamata's theorem for regularized Cauchy transforms

The discrete fractional Karamata theorem and its applications

Quantitative comparison theorems in Riemannian and Kähler geometry

Quantitative Runge Approximation and Inverse Problems

An exotic calculus of Berezin-Toeplitz operators

A multidimensional Tauberian theorem for Laplace transforms of ultradistributions

Quantitative Korovkin theorems for sublinear, monotone and strongly translatable operators in $L^{p}([0, 1]), 1\le p \le +\infty$

Yet Another Quantitative Harris Theorem

A Tauberian theorem for ℓ-adic sheaves on 𝔸 1

Precise large deviations through a uniform Tauberian theorem

Quantifier elimination in quasianalytic structures via non-standard analysis

A note on a quantization via the Ran space

A quantitative converse of Fekete's theorem

An Inverse Spectral Theorem

A Birkhoff-Kellogg type theorem for discontinuous operators with applications

Topological Levinson's theorem in presence of embedded thresholds and discontinuities of the scattering matrix: A quasi-[math]D example