Mathematical Logic Quarterly
Explore this journal >
Original Paper
Definably extending partial orders in totally ordered structures
Abstract
We show, for various classes of totally ordered structures
, including o-minimal and weakly o-minimal structures, that every definable partial order on a subset of
extends definably in
to a total order. This extends the result proved in [5] for
and
o-minimal.