An analogue of the Baire Category Theorem
arXiv:1101.1194
Abstract
Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.
arXiv:1101.1194
Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.