Semi-linear stars are contractible

Pantelis E. Eleftheriou

Let $\mathcal{R}$ be an ordered vector space over an ordered division ring. We prove that every definable set $X$ is a finite union of relatively open definable subsets which are defina…