Coverings by open cells [article]

Mário J. Edmundo, Pantelis Eleftheriou, Luca Prelli
2014 arXiv   pre-print
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.
arXiv:1303.3155v3 fatcat:nuo2e24pgfbwphtny22n43n37a