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.

Relative Pfaffian closure for definably complete Baire structures / Fornasiero, Antongiulio; Servi, Tamara. - In: ILLINOIS JOURNAL OF MATHEMATICS. - ISSN 0019-2082. - STAMPA. - 55:(2011), pp. 1203-1219.

Relative Pfaffian closure for definably complete Baire structures

Fornasiero, Antongiulio;
2011

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.
2011
55
1203
1219
Fornasiero, Antongiulio; Servi, Tamara
File in questo prodotto:
File Dimensione Formato  
euclid.ijm.1369841803.pdf

accesso aperto

Descrizione: Articolo principale
Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Open Access
Dimensione 225.76 kB
Formato Adobe PDF
225.76 kB Adobe PDF

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1108478
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact