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

Pantelis E. Eleftheriou, Assaf Hasson, Gil Keren

Research output: Contribution to journalArticlepeer-review

5 Scopus citations
5 Downloads (Pure)

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.
Original languageEnglish
Pages (from-to)1482-1495
JournalJournal of Symbolic Logic
Volume82
Issue number4
DOIs
StatePublished - 2017

Keywords

  • definable Skolem functions
  • o-minimal traces
  • weakly o-minimal structures

Fingerprint

Dive into the research topics of 'On definable Skolem functions in weakly o-minimal non-valuational structures'. Together they form a unique fingerprint.

Cite this