On definable Skolem functions and trichotomy
Abstract
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 $\emptyset $ and finitely many open intervals each a union of a $\emptyset $-definable family of group-intervals with fixed positive elements.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2022
- DOI:
- 10.48550/arXiv.2207.11339
- arXiv:
- arXiv:2207.11339
- Bibcode:
- 2022arXiv220711339D
- Keywords:
-
- Mathematics - Logic;
- 03C64