2013/10/04 by Krzysztof Jan Nowak, Nowak, Krzysztof Jan
Computer Science · Mathematics · #03C10 #03C64 #14P15 #26E10 #Advanced Algebra and Logic #Advanced Topology and Set Theory #Algebraic Geometry (math.AG) #FOS: Mathematics #Functional Analysis (math.FA) #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.1310.1303
openalex publication_date 2013/10/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This paper is a revised version of our preprints IMUJ Preprint 2012/04 and RAAG Preprint 343 from May 2012. It provides an example of a quasianalytic structure which, unlike the classical analytic structure, does not admit quantifier elimination in the language of restricted quasianalytic functions augmented by the reciprocal function. It also demonstrates that Lojasiewicz's theorem that every subanalytic curve is semianalytic is no longer true in quasianalytic structures. Our construction applies rectilinearization of terms, established in our earlier papers, as well as 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.