Skip to Main content Skip to Navigation

Elimination des quantificateurs dans le cadre quasi-analytique

Abstract : 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
Document type :
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Friday, February 1, 2013 - 6:17:10 PM
Last modification on : Thursday, January 28, 2021 - 10:28:03 AM
Long-term archiving on: : Thursday, May 2, 2013 - 5:10:08 AM


Version validated by the jury (STAR)


  • HAL Id : tel-00783864, version 1


Francois Michas. Elimination des quantificateurs dans le cadre quasi-analytique. Mathématiques générales [math.GM]. Université de Bourgogne, 2012. Français. ⟨NNT : 2012DIJOS013⟩. ⟨tel-00783864⟩



Record views


Files downloads