We show that non-trivial extremely amenable topological groups are essentially the same thing as permutation models of the Boolean prime ideal theorem that do not satisfy the axiom of choice. Both are described in terms of partition properties of group actions.