  It can be shown (Bell 2006) that each of a number of intuitionistically invalid logical principles, including the law of excluded middle, is equivalent (in intuitionistic set theory) to a suitably weakened version of the axiom of choice.  Accordingly these logical principles may be viewed as choice principles.