An analogue of the Baire Category Theorem
Logic
2013-01-29 v5
Abstract
Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.
Cite
@article{arxiv.1101.1194,
title = {An analogue of the Baire Category Theorem},
author = {Philipp Hieronymi},
journal= {arXiv preprint arXiv:1101.1194},
year = {2013}
}