CHOICE AND UNIFORMITY IN WEAK APPLICATIVE THEORIES