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

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

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).

Review text

The authors prove a very important theorem about the complement of nested sub-Pfaffian sets. More precisely, the basic objects of their study are nested Pfaffian sets over a given \(o\)-minimal expansion of the real field. A nested sub-Pfaffian set is the projection of a positive Boolean combination of definable sets and nested Rolle leaves. In this situation they prove that the complement is again a nested sub-Pfaffian set. In the opinion of the reviewer it would be very interesting to compare the presented proof with the one from his old paper entitled ``On the Gabrielov theorem for subpfaffian sets [in: Real analytic and algebraic geometry. Proceedings of the international conference, Trento, Italy, September 21-25, 1992. Berlin: Walter de Gruyter. 149--160 (1995; Zbl 0829.32003)].

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

• 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
• scientific article; zbMATH DE number 3907374 (Why is no real title available?)
• scientific article; zbMATH DE number 1201576 (Why is no real title available?)
• 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)

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

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)