On definable Skolem functions in weakly o-minimal non-valuational structures

Pantelis E. Eleftheriou, Assaf Hasson, Gil Keren

We prove that all known examples of weakly o-minimal non-valuational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up…