Corpus ID: 18201805

Definably complete and Baire structures

@inproceedings{Fornasiero2008DefinablyCA,
  title={Definably complete and Baire structures},
  author={A. Fornasiero and Tamara Servi},
  year={2008}
}
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. The converse is clearly not true. However, unlike the o-minimal case, the structures considered form an elementary class. In this context we… Expand
1 Citations
Tame structures
  • 2010
  • 1
  • PDF

References

SHOWING 1-10 OF 15 REFERENCES
Dense pairs of o-minimal structures
  • 94
  • PDF
Noetherian varieties in definably complete structures
  • 7
  • PDF
Expansions of dense linear orders with the intermediate value property
  • 76
The Pfaffian closure of an o-minimal structure
  • 121
  • PDF
ROLLE LEAVES AND O-MINIMAL STRUCTURES
  • 6
Measure and category
  • 256
  • Highly Influential
  • PDF
...
1
2
...