Self-selective social choice functions verify arrow and Gibbard-Satterthwaite

This paper introduces a new notion of consistency for social choice functions, called self-selectivity, which requires that a social choice function employed by a society to make a choice from a given alternative set it faces should choose itself from among other rival such functions when it is employed by the society to make this latter choice as well. A unanimous neutral social choice function turns out to be universally self-selective if and only if it is Paretian and satisfies independence of irrelevant alternatives. The neutral unanimous social choice functions whose domains consist of linear order profiles on nonempty sets of any finite cardinality induce a class of social welfare functions which inherit Paretianism and independence of irrelevant alternatives in case the social choice function one starts with is universally self-selective. Thus, a unanimous and neutral social choice function is universally self-selective if and only if it is dictatorial. Moreover, universal self-selective for such functions is equivalent to the conjunction of strategy-proofness and independence of irrelevant alternatives or the conjunction of monotonicity and independence of irrelevant alternatives again