On definable Skolem functions and trichotomy

arXiv2207.11339MaRDI QIDQ6405795FDOQ6405795

Authors: Bruno Dinis, Mário J. Edmundo 

Publication date: 22 July 2022

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.

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64)

This page was built for publication: On definable Skolem functions and trichotomy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6405795)