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.

Structured quantitative almost reducibility and its applications

Quantitative Reducibility of $C^k$ Quasi-Periodic Cocycles

On the almost reducibility conjecture

Quantitative almost reducibility and Möbius disjointness for analytic quasiperiodic Schrodinger cocycles

Real almost reducibility of differentiable real quasi-periodic cocycles

Hidden subcriticality, symplectic structure, and universality of sharp arithmetic spectral results for type I operators

Absolute continuity of the integrated density of states in the localized regime

Reducibility Without KAM

Reducibility in a Certain Matrix Lie Algebra for Smooth Linear Quasi-periodic System

Almost Commuting Scheme of Symplectic Matrices and Quantum Hamiltonian Reduction

On the Reducibility of Two-Dimensional Quasi-Periodic Systems with Liouvillean Basic Frequencies and Without Non-Degeneracy Condition

Polynomial Reduction Methods and their Impact on QAOA Circuits

Quantitative reduction theory and unlikely intersections

Continuity of the spectrum of quasi-periodic Schrödinger operators with finitely differentiable potentials

Uniform Convergence of Schrödinger Cocycles over Simple Toeplitz Subshift

Quantifier elimination in quasianalytic structures via non-standard analysis

Combinatorics of quasi-hereditary structures

Reducibility of Quantum Harmonic Oscillator on $$\mathbb {r}^d$$ R D Perturbed by a Quasi: Periodic Potential with Logarithmic Decay

Multiplicative Jensen's formula and quantitative global theory of one-frequency Schrödinger operators