Relative Pfaffian closure for definably complete Baire structures (Q351838)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relative Pfaffian closure for definably complete Baire structures |
scientific article |
Statements
Relative Pfaffian closure for definably complete Baire structures (English)
0 references
10 July 2013
0 references
This paper extends the most important results of S. Fratarcangeli's Ph.D. thesis (see also [\textit{S. Fratarcangeli}, Fundam. Math. 198, 229--254 (2008; Zbl 1147.03021)]). The main statement is: Given an o-minimal expansion \(\mathcal{R}_0\) of an ordered field and its expansion \(\mathcal{R}\) which is definably complete (Baire), the relative virtual Pfaffian closure \(\mathcal{VP}(\mathcal{R}_0,\mathcal{R})\) of \(\mathcal{R}_0\) inside \(\mathcal{R}\) is o-minimal (here \(\mathcal{R}\) does not have to be a model of a fragment of \(T_{\mathrm{proj}}=\mathrm{Th}(\mathbb{R},\mathbb{Z})\), as Fratarcangeli assumes). The result is obtained by following \textit{M. Karpinski} and \textit{A. Macintyre} [Sel. Math., New Ser. 5, No. 4, 507--516 (1999; Zbl 0953.03046)], including Wilkie's idea of taking the Charbonnel closure of an o-minimal weak structure rather than following [\textit{P. Speissegger}, J. Reine Angew. Math. 508, 189--211 (1999; Zbl 1067.14519)], what Fratarcangeli did, and modifying the notion of a Rolle leaf, introducing virtual Rolle multi-leaves (not involving the notions of ``definably connected'' or ``arc''). A short discussion on the notions of a Rolle leaf is given. Another important result: for an expansion of the field of real numbers being a model of a recursively axiomatized o-minimal theory, the topological complexity (counted roughly as the smallest number of simplices in a triangulation) of a definable set in the Pfaffian closure of this o-minimal structure is bounded by a recursive function of the format of this definable set (this answers a question of Fratarcangeli).
0 references
o-minimal structure
0 references
definably complete structure
0 references
Rolle leaf
0 references
Pfaffian closure
0 references
topological complexity
0 references
0 references