Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings

Krzysztof Jan Nowak. "Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings." Annales Polonici Mathematici 96.3 (2009): 247-282. <http://eudml.org/doc/280565>.

@article{KrzysztofJanNowak2009,
abstract = {This paper investigates the geometry of the expansion $_\{Q\}$ of the real field ℝ by restricted quasianalytic functions. The main purpose is to establish quantifier elimination, description of definable functions by terms, the valuation property and preparation theorem (in the sense of Parusiński-Lion-Rolin). To this end, we study non-standard models of the universal diagram T of $_\{Q\}$ in the language ℒ augmented by the names of rational powers. Our approach makes no appeal to the Weierstrass preparation theorem, upon which the majority of fundamental results in analytic geometry rely, but which is unavailable in the general quasianalytic geometry. The basic tools applied here are transformation to normal crossings and decomposition into special cubes. The latter method, developed in our earlier article [Ann. Polon. Math. 96 (2009), 65-74], combines modifications by blowing up with a suitable partitioning. Via an analysis of ℒ-terms and infinitesimals, we prove the valuation property for functions given by ℒ-terms, and next the exchange property for substructures of a given model . Our proofs are based on the concepts of analytically independent as well as active and non-active infinitesimals, introduced in this article. Further, quantifier elimination for T is established through model-theoretic compactness. The universal theory T is thus complete and o-minimal, and $_\{Q\}$ is its prime model. Under the circumstances, every definable function is piecewise given by ℒ-terms, and therefore the previous results concerning ℒ-terms generalize immediately to definable functions. In this fashion, we obtain the valuation property and preparation theorem for quasi-subanalytic functions. Finally, a quasi-subanalytic version of Puiseux’s theorem with parameter is demonstrated.},
author = {Krzysztof Jan Nowak},
journal = {Annales Polonici Mathematici},
keywords = {quasianalytic functions; special cubes; special modifications; analytically independent infinitesimals; active and non-active infinitesimals; valuation property; quantifier elimination; preparation theorem},
language = {eng},
number = {3},
pages = {247-282},
title = {Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings},
url = {http://eudml.org/doc/280565},
volume = {96},
year = {2009},
}

TY - JOUR
AU - Krzysztof Jan Nowak
TI - Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings
JO - Annales Polonici Mathematici
PY - 2009
VL - 96
IS - 3
SP - 247
EP - 282
AB - This paper investigates the geometry of the expansion $_{Q}$ of the real field ℝ by restricted quasianalytic functions. The main purpose is to establish quantifier elimination, description of definable functions by terms, the valuation property and preparation theorem (in the sense of Parusiński-Lion-Rolin). To this end, we study non-standard models of the universal diagram T of $_{Q}$ in the language ℒ augmented by the names of rational powers. Our approach makes no appeal to the Weierstrass preparation theorem, upon which the majority of fundamental results in analytic geometry rely, but which is unavailable in the general quasianalytic geometry. The basic tools applied here are transformation to normal crossings and decomposition into special cubes. The latter method, developed in our earlier article [Ann. Polon. Math. 96 (2009), 65-74], combines modifications by blowing up with a suitable partitioning. Via an analysis of ℒ-terms and infinitesimals, we prove the valuation property for functions given by ℒ-terms, and next the exchange property for substructures of a given model . Our proofs are based on the concepts of analytically independent as well as active and non-active infinitesimals, introduced in this article. Further, quantifier elimination for T is established through model-theoretic compactness. The universal theory T is thus complete and o-minimal, and $_{Q}$ is its prime model. Under the circumstances, every definable function is piecewise given by ℒ-terms, and therefore the previous results concerning ℒ-terms generalize immediately to definable functions. In this fashion, we obtain the valuation property and preparation theorem for quasi-subanalytic functions. Finally, a quasi-subanalytic version of Puiseux’s theorem with parameter is demonstrated.
LA - eng
KW - quasianalytic functions; special cubes; special modifications; analytically independent infinitesimals; active and non-active infinitesimals; valuation property; quantifier elimination; preparation theorem
UR - http://eudml.org/doc/280565
ER -