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

2015/08/22 by Eleftheriou, Pantelis E., Hasson, Assaf, Keren, Gil
#03C64 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1508.05492

Abstract

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.

Related

• On definable Skolem functions and trichotomy
• Pathological examples of structures with o-minimal open core
• A pathological o-minimal quotient
• An introduction to o-minimal structures
• Quasianalytic algebras with weakly smooth germs generate o-minimal structures