Submission date: 4 October 2013.

Abstract:

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. Our construction applies rectilinearization of terms as well as some theorems on power substitution for Denjoy-Carleman classes and on non-extendability of quasianalytic function germs.

Mathematics Subject Classification: 03C10, 26E10, 14P15, 03C64

Keywords and phrases:

Full text arXiv 1310.1303: pdf, ps.