Fishburn (1970) showed that in an infinite society Arrow's axioms for a preference aggregation rule do not necessarily imply a dictator. Kirman and Sondermann (1972) showed that, in this case, nondictatorial rules imply an invisible dictator that, whenever the agent set is an atomless finite...

The Nakamura number of a simple game plays a critical role in preference aggregation (or multi-criterion ranking): the number of alternatives that the players can always deal with rationally is less than this number. We comprehensively study the restrictions that various properties for a simple...

It was shown earlier that the class of algorithmically computable simple games (i) includes the class of games that have finite carriers and (ii) is included in the class of games that have finite winning coalitions. This paper characterizes computable games, strengthens the earlier result that...

A social welfare function for a denumerable society satisfies {Pairwise Computability} if for each pair (x, y) of alternatives, there exists an algorithm that can decide from any description of each profile on {x,y} whether the society prefers x to y. I prove that if a social welfare function...

For infinite societies, Fishburn (1970), Kirman and Sondermann (1972), and Armstrong (1980) gave a nonconstructive proof of the existence of a social welfare function satisfying Arrowfs conditions (Unanimity, Independence, and Nondictatorship). This paper improves on their results by (i) giving...

A social welfare function for a denumerable society satisfies Pairwise Computability if for each pair (x,y) of alternatives, there exists an algorithm that can decide from any description of each profile on {x,y} whether the society prefers x to y. I prove that if a social welfare function...

Classify simple games into sixteen "types" in terms of the four conventional axioms: monotonicity, properness, strongness, and nonweakness. Further classify them into sixty-four classes in terms of finiteness (existence of a finite carrier) and computability. For each such class, we either show...

This paper investigates algorithmic computability of simple games (voting games). It shows that (i) games with a finite carrier are computable, (ii) computable games have both finite winning coalitions and cofinite losing coalitions, and (iii) computable games violate any conceivable notion of...

Economic systems involve many heterogeneous agents and their complex interactions. These lead many studies, in recent years, to focus on the complex networks. Agent based modelling and simulation (ABMS) is a powerful tool for analyzing such systems. This model enables interacting agents to...

The promotion of collaborative R&D through Framework Programmes is a top priority of European RTD policy. However, despite the considerable sums involved, surprisingly little is known about the structure of the resulting research networks. Arguing that the underlying technological regime...