Coverings by open cells
arXiv:1303.3155
Abstract
We prove that in a semi-bounded o-minimal expansion of an ordered group every non-empty open definable set is a finite union of open cells.
17 pages, revised version
arXiv:1303.3155
We prove that in a semi-bounded o-minimal expansion of an ordered group every non-empty open definable set is a finite union of open cells.
17 pages, revised version