Coverings by open cells
Logic
2015-07-17 v3
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.
Cite
@article{arxiv.1303.3155,
title = {Coverings by open cells},
author = {Mário J. Edmundo and Pantelis Eleftheriou and Luca Prelli},
journal= {arXiv preprint arXiv:1303.3155},
year = {2015}
}
Comments
17 pages, revised version