Definably extending partial orders in totally ordered structures

Authors


Abstract

We show, for various classes of totally ordered structures inline image, including o-minimal and weakly o-minimal structures, that every definable partial order on a subset of inline image extends definably in inline image to a total order. This extends the result proved in [5] for inline image and inline image o-minimal.

Ancillary