Submission date: 13 March 2013.

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.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1303.3155: pdf, ps.