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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references