Corpus ID: 115158812

Definably complete and Baire structures and Pfaffian closure

  title={Definably complete and Baire structures and Pfaffian closure},
  author={A. Fornasiero and Tamara Servi},
  journal={arXiv: Logic},
We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense sets. Every expansion of the real field is definably complete and Baire. So is every o-minimal expansion of a field. However, unlike the o-minimal case, the structures considered form an elementary class. In this context we prove a version of Kuratowski-Ulam's… Expand
2 Citations
L O ] 1 1 M ay 2 01 6 Strong theories of ordered Abelian groups
  • 8
  • PDF
An analogue of the Baire category theorem
  • 10
  • PDF


Noetherian varieties in definably complete structures
  • 7
  • PDF
Intersection theory for 0-minimal manifolds
  • 23
Expansions of dense linear orders with the intermediate value property
  • 76
  • Highly Influential
Measure and Category: A Survey of the Analogies between Topological and Measure Spaces
  • 237
A General Model Completeness Result for Expansions of the Real Ordered Field
  • Steve Maxwell
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • 1998
  • 8
  • Highly Influential
A theorem of the complement and some new o-minimal structures
  • 114
  • Highly Influential
Exponentiation in power series fields
  • 43
  • PDF
  • 1,669
  • PDF
The Pfaffian closure of an o-minimal structure
  • 121
  • PDF