Choosers as extension axioms

We consider the extension of a (strict) preference over a set to its power set. Elements of the power set are non-resolute outcomes. The final outcome is determined by an "(external) chooser" which is a resolute choice function. The individual whose preference is under consideration confronts a set of resolute choice functions which reflects the possible behaviors of the chooser. Every such set naturally induces an extension axiom (i.e., a rule that determines how an individual with a given preference over alternatives is required to rank certain sets). Our model allows to revisit various extension axioms of the literature. Interestingly, the Gärdenfors (1976) and Kelly (1977) principles are singled-out as the only two extension axioms compatible with the non-resolute outcome interpretation.