Quantifier elimination in the quasi-analytic framework

We associate to every compact polydisk B [belonging to ] Rn an algebra CB of real functions defined in a neighborhood of B. The collection of these algebras is supposed to be closed under several operations, such as composition and partial derivatives. Moreover, if the center of B is the origin, we assume that the algebra of germs at the origin of elements of CB is quasianalytic (it does not contain any flat germ). We define with these functions the collection of C-semianalytic and C-subanalytic sets according to the classical process in real analytic geometry. Our main result is an analogue of Tarski-Seidenberg's usual result for these sets. It says that the sub-C-subanalytic sets may be described by means of equalities and inequalities by terms obtained by composition of elements of the algebras CB, the functions x->^{1/n} and the function x->1/x. It is proved via a model theoretic preparation theorem

Data and Resources

Additional Info

Field Value
Source https://theses.hal.science/tel-00783864
Author Michas, Francois
Maintainer CCSD
Last Updated May 14, 2026, 18:19 (UTC)
Created May 14, 2026, 18:19 (UTC)
Identifier NNT: 2012DIJOS013
Language fr
Rights https://about.hal.science/hal-authorisation-v1/
contributor Institut de Mathématiques de Bourgogne [Dijon] (IMB) ; Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)
creator Michas, Francois
date 2012-06-21T00:00:00
harvest_object_id 26e98789-3b01-4eb0-9f7b-8f07e478356e
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2026-03-31T00:00:00
set_spec type:THESE