The theorem of the complement for nested sub-Pfaffian sets (Q605912): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:44, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The theorem of the complement for nested sub-Pfaffian sets |
scientific article |
Statements
The theorem of the complement for nested sub-Pfaffian sets (English)
0 references
15 November 2010
0 references
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)].
0 references
\(o\)-minimal
0 references
Rolle leaves
0 references
sub-Pfaffian
0 references