9 citations · 25 across the 13 of their papers we have counts for
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…