Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2218

Preprint Number 2218

Previous Next Preprint server

2218. Bruno Dinis and Mário J. Edmundo
On definable Skolem functions and trichotomy

Submission date: 22 July 2022


In this paper we give an explicit characterization of o-minimal structures with definable Skolem functions/definable choice. Such structures are, after naming finitely many elements from the prime model, a union of finitely many trivial points each defined over ∅ and finitely many open intervals each a union of a ∅-definable family of group-intervals with fixed positive elements.

Mathematics Subject Classification: 03C64

Keywords and phrases:

Full text arXiv 2207.11339: pdf, ps.

Last updated: August 1 2022 11:36 Please send your corrections to: