On definable Skolem functions and trichotomy
Logic
2022-07-26 v1
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 and finitely many open intervals each a union of a -definable family of group-intervals with fixed positive elements.
Cite
@article{arxiv.2207.11339,
title = {On definable Skolem functions and trichotomy},
author = {Bruno Dinis and Mário J. Edmundo},
journal= {arXiv preprint arXiv:2207.11339},
year = {2022}
}