Illinois Journal of Mathematics

Relative Pfaffian closure for definably complete Baire structures

Antongiulio Fornasiero and Tamara Servi

Full-text: Open access

Abstract

Speissegger proved that the Pfaffian closure of an o-minimal expansion of the real field is o-minimal. Here we give a first order version of this result: having introduced the notion of definably complete Baire structure, we define the relative Pfaffian closure of an o-minimal structure inside a definably complete Baire structure, and we prove its o-minimality. We derive effective bounds on some topological invariants of sets definable in the Pfaffian closure of an o-minimal expansion of the real field.

Article information

Source
Illinois J. Math., Volume 55, Number 3 (2011), 1203-1219.

Dates
First available in Project Euclid: 29 May 2013

Permanent link to this document
https://projecteuclid.org/euclid.ijm/1369841803

Mathematical Reviews number (MathSciNet)
MR3069302

Zentralblatt MATH identifier
1300.03019

Subjects
Primary: 03C64: Model theory of ordered structures; o-minimality
Secondary: 58A17: Pfaffian systems 32C05: Real-analytic manifolds, real-analytic spaces [See also 14Pxx, 58A07] 54E52: Baire category, Baire spaces 03B25: Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10]

Citation

Fornasiero, Antongiulio; Servi, Tamara. Relative Pfaffian closure for definably complete Baire structures. Illinois J. Math. 55 (2011), no. 3, 1203--1219. https://projecteuclid.org/euclid.ijm/1369841803


Export citation

References

  • M. J. Edmundo and A. Woerheide, Comparison theorems for o-minimal singular (co)homology, Trans. Amer. Math. Soc. 360 (2008), no. 9, 4889–4912.
  • A. Fornasiero and T. Servi, Definably complete Baire structures, Fund. Math. 209 (2010), 215–241.
  • A. Fornasiero and T. Servi, Theorems of the complement, preprint, version 2.1, 2009.
  • S. Fratarcangeli, Rolle leaves and o-minimal structures, Ph.D. thesis, McMaster University, 2006.
  • A. Gabrielov and N. Vorobjov, Complexity of computations with Pfaffian and Noetherian functions, Normal forms, bifurcations and finiteness problems in differential equations, NATO Sci. Ser. II Math. Phys. Chem., vol. 137, Kluwer Acad. Publ., Dordrecht, 2004, pp. 211–250.
  • M. Karpinski and A. Macintyre, A generalization of Wilkie's theorem of the complement, and an application to Pfaffian closure, Selecta Math. (N.S.) 5 (1999), no. 4, 507–516.
  • P. Speissegger, The Pfaffian closure of an o-minimal structure, J. Reine Angew. Math. 508 (1999), 189–211.
  • L. van den Dries, Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998.
  • L. van den Dries and C. Miller, Geometric categories and o-minimal structures, Duke Math. J. 84 (1996), no. 2, 497–540.
  • A. J. Wilkie, A theorem of the complement and some new o-minimal structures, Selecta Math. (N.S.) 5 (1999), no. 4, 397–421.