An extended formulation of Arrow's theorem for k-social welfare functions

Abstract

Past studies in social choice theory are generally based on the assumption that any two alternatives must be incompatible. We are concerned with the concept, "k-social choice" based on the assumption that just k alternatives out of p (1 _< k < p -1) are compatible. The purpose of this paper is to show an extended formulation of Arrow's theorem for k-social welfare functions.