1 paper · 1 filter
Bruno Dinis, Mário J. Edmundo
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 element…