Definably complete Baire structures

@article{Fornasiero2010DefinablyCB,
  title={Definably complete Baire structures},
  author={A. Fornasiero and Tamara Servi},
  journal={Fundamenta Mathematicae},
  year={2010},
  volume={209},
  pages={215-241}
}
We consider definably complete Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain cannot 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, and so is every o-minimal expansion of a field. Moreover, unlike the o-minimal case, the structures considered form an axiomatizable class. In this context we prove a version of the Kuratowski… Expand
16 Citations
A FUNDAMENTAL DICHOTOMY FOR DEFINABLY COMPLETE EXPANSIONS OF ORDERED FIELDS
  • 6
  • PDF
Theorems of the Complement
  • 4
Expansions of subfields of the real field by a discrete set
  • 14
  • PDF
COMPLETE STRUCTURES
  • 1
  • PDF
Algebraic and Model Theoretic Properties of O-minimal Exponential Fields
  • 1
  • Highly Influenced
Definably complete structures are not pseudo-enumerable
  • 7
On the decidability of the real field with a generic power function
  • 6
  • PDF
Locally o-minimal structures and structures with locally o-minimal open core
  • A. Fornasiero
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • 2013
  • 14
...
1
2
...

References

SHOWING 1-10 OF 18 REFERENCES
Definable Compactness and Definable Subgroups of o‐Minimal Groups
  • 124
Dense pairs of o-minimal structures
  • 94
  • PDF
Noetherian varieties in definably complete structures
  • 7
  • PDF
A first-order version of Pfaffian closure
  • 6
  • PDF
Structures having o-minimal open core
  • 70
  • PDF
Theorems of the Complement
  • 4
Expansions of dense linear orders with the intermediate value property
  • 75
Intersection theory for 0-minimal manifolds
  • 24
Tame structures
  • 2010
  • 1
  • PDF
...
1
2
...