On definable Skolem functions in weakly o-minimal non-valuational structures
classification
🧮 math.LO
keywords
definablestructuresnon-valuationalo-minimalweaklyexamplesfunctionsskolem
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.