加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本