Quantifier elimination in quasianalytic structures via non-standard analysis

Krzysztof Jan Nowak. "Quantifier elimination in quasianalytic structures via non-standard analysis." Annales Polonici Mathematici 114.3 (2015): 235-267. <http://eudml.org/doc/286581>.

@article{KrzysztofJanNowak2015,
abstract = {The paper is a continuation of an earlier one 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 quasianalytic 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 1/x. More precisely, we construct a definable plane curve, which indicates that both 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.},
author = {Krzysztof Jan Nowak},
journal = {Annales Polonici Mathematici},
keywords = {quasianalytic structures; quantifier elimination; active infinitesimals; special cubes and modifications; valuation property; exchange property; rectilinearization of quasisubanalytic functions; Denjoy-Carleman classes},
language = {eng},
number = {3},
pages = {235-267},
title = {Quantifier elimination in quasianalytic structures via non-standard analysis},
url = {http://eudml.org/doc/286581},
volume = {114},
year = {2015},
}

TY - JOUR
AU - Krzysztof Jan Nowak
TI - Quantifier elimination in quasianalytic structures via non-standard analysis
JO - Annales Polonici Mathematici
PY - 2015
VL - 114
IS - 3
SP - 235
EP - 267
AB - The paper is a continuation of an earlier one 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 quasianalytic 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 1/x. More precisely, we construct a definable plane curve, which indicates that both 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.
LA - eng
KW - quasianalytic structures; quantifier elimination; active infinitesimals; special cubes and modifications; valuation property; exchange property; rectilinearization of quasisubanalytic functions; Denjoy-Carleman classes
UR - http://eudml.org/doc/286581
ER -