Definable choice for a class of weakly o-minimal theories

Michael C. Laskowski, Christopher S. Shaw

Given an o-minimal structure $\mathcal{M}$ with a group operation, we show that for a properly convex subset $U$, the theory of the expanded structure ${\mathcal M}'=({\mathcal M}…