The Choice Property in tame expansions of o-minimal structures

Abstract

We establish the choice property, a weak analogue of definable choice, for certain tame expansions of o-minimal structures. Most noteworthily, dense pairs of real closed fields have this property.