On definable Skolem functions in weakly o-minimal non-valuational structures
Logic
2016-07-26 v2
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.
Cite
@article{arxiv.1508.05492,
title = {On definable Skolem functions in weakly o-minimal non-valuational structures},
author = {Pantelis E. Eleftheriou and Assaf Hasson and Gil Keren},
journal= {arXiv preprint arXiv:1508.05492},
year = {2016}
}