In spatial environments, we consider social welfare functions satisfying Arrow's requirements. i.e., weak Pareto and independence of irrelevant alternatives. When the policy space os a one-dimensional continuum, such a welfare function is determined by a collection of 2n strictly quasi-concave...

Arrow's axioms for social welfare functions are shown to be inconsistent when the set of alternatives is the nonnegative orthant in a multidimensional Euclidean space and preferences are assumed to be either the set of analytic classical economic preferences or the set of Euclidean spatial...

An extension of Condorcet's paradox by McGarvey (1953) asserts that for every asymmetric relation R on a finite set of candidates there is a strict-preferences voter profile that has the relation R as its strict simple majority relation. We prove that McGarvey's theorem can be extended to...

In the past quarter century, there has been a dramatic shift of focus in social choice theory, with structured sets of alternatives and restricted domains of the sort encountered in economic problems coming to the fore. This article provides an overview of some of the recent contributions to...

This article surveys the literature that investigates the consistency of Arrow's social choice axioms when his unrestricted domain assumptions are replaced by domain conditions that incorporate the restrictions on agendas and preferences encountered in economic environments. Both social welfare...

There will be many researchers who discover voting theory afresh and who will want to understand it and its interesting paradoxes. Arrow's theorem (1951, 1963) is the most celebrated result in social choice theory. It has been criticized a lot but Howard DeLong (1991), "A refutation of Arrow’s...

In a paper published in 1952, the French mathematician Georges-Théodule Guilbaud has generalized Arrow's impossibility result to the "logical problem of aggregation", thus anticipating the literature on abstract aggregation theory and judgment aggregation. We reconstruct the proof of Guilbaud's...

This introduces the symposium on judgment aggregation. The theory of judgment aggregation asks how several individuals' judgments on some logically connected propositions can be aggregated into consistent collective judgments. The aim of this introduction is to show how ideas from the familiar...