On definable Skolem functions in weakly o-minimal non-valuational structures
Eleftheriou, Pantelis E. · Hasson, Assaf · Keren, Gil
Original · EN
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 to (definable families of) definable cuts. Along the way we give some new examples of weakly o-minimal non-valuational structures.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.