The theorem of the complement for nested sub-Pfaffian sets

DOI10.1215/00127094-2010-050MaRDI QIDQ605912zbMATH OpenOpenAlexFDO

Authors Jean-Marie Lion, P. Speissegger

Publication date 15 November 2010

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0602196

zbMATH Keywords

\(o\)-minimalRolle leavessub-Pfaffian

Mathematics Subject Classification ID

Semialgebraic sets and related spaces (14P10) Pfaffian systems (58A17) Model theory (03C99)

Abstract: Let R be an o-minimal expansion of the real field, and let L(R) be the language consisting of all nested Rolle leaves over R. We call a set nested subpfaffian over R if it is the projection of a boolean combination of definable sets and nested Rolle leaves over R. Assuming that R admits analytic cell decomposition, we prove that the complement of a nested subpfaffian set over R is again a nested subpfaffian set over R. As a corollary, we obtain that if R admits analytic cell decomposition, then the pfaffian closure P(R) of R is obtained by adding to R all nested Rolle leaves over R, a one-stage process, and that P(R) is model complete in the language L(R).

Recommendations

• scientific article; zbMATH DE number 786601
• scientific article; zbMATH DE number 1417304
• Sub-Pfaffian sets and a generalization of Wilkie's theorem
• Pfaffian sets and O-minimality
• A generalization of Wilkie's theorem of the complement, and an application to Pfaffian closure

Cites work

• scientific article; zbMATH DE number 3907374 (Why is no real title available?)
• scientific article; zbMATH DE number 1201576 (Why is no real title available?)
• A geometric proof of the definability of Hausdorff limits
• A theorem of the complement and some new o-minimal structures
• Analytic stratification in the Pfaffian closure of an o-minimal structure
• Complements of subanalytic sets and existential formulas for analytic functions
• Definable types in -minimal theories
• Finiteness theorems for Pfaffian manifolds
• Frontier and closure of a semi-Pfaffian set
• Frontière d'une hypersurface pfaffienne
• Geometric categories and o-minimal structures
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Multiplicities of Pfaffian intersections, and the Łojasiewicz inequality
• Structures feuilletées et cohomologie à valeur dans un faisceau de groupoïdes
• The Pfaffian closure of an o-minimal structure
• The real field with convergent generalized power series
• The theory of Khovanskii and the problem of Dulac.
• Volumes, Rolle leaves of analytic foliations and Wilkie's theorem

Cited in

(7)

• Topological complexity of the relative closure of a semi-Pfaffian couple
• Pfaffian sets and O-minimality
• Sub-Pfaffian sets and a generalization of Wilkie's theorem
• Half a century with the problem of the gradient of an analytic function
• scientific article; zbMATH DE number 1417304 (Why is no real title available?)
• scientific article; zbMATH DE number 786601 (Why is no real title available?)
• Hausdorff limits of Rolle leaves

This page was built for publication: The theorem of the complement for nested sub-Pfaffian sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q605912)