Submission date: 9 March 2011.

Abstract:

Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.

Mathematics Subject Classification: 03C64, 54E52

Keywords and phrases:

Full text arXiv: pdf, ps.