Abstract We consider the implementation problem for incomplete information and private values. investigate double implementability of social choice functions in dominant strategy equilibria ex-post equilibria. define a new strategic axiom that implies “strategy-proofness” is implied by “secure strategy-proofness,” but converse these relationships does not hold. call it “weak secure-strategy-pro...

We consider the problem of assigning objects probabilistically among a group of agents who may have multi-unit demands. Each agent has linear preferences over the (set of) objects. The most commonly used extension of preferences to compare probabilistic assignments is by means of stochastic dominance, which leads to corresponding notions of envy-freeness, efficiency, and strategy-proofness. We ...

We consider exchange markets with heterogeneous indivisible goods. We are interested in exchange rules that are efficient and immune to manipulations via endowments (either with respect to hiding or destroying part of the endowment or transferring part of the endowment to another trader). We consider three manipulability axioms: hiding-proofness, destruction-proofness, and transfer-proofness. W...

Strategy-proofness has been one of the central axioms in the theory of social choice. We find that strategy-proofness is decomposed into three axioms: top-restricted AM-proofness, weak monotonicity, and individual bounded response. Among them, individual bounded respose is not as defensible as the other two, and we present possibility results by excluding individual bounded response from strate...

“Strategy-proofness” is one of the axioms that are most frequently used in the recent literature on social choice theory. It requires that by misrepresenting his preferences, no agent can manipulate the outcome of the social choice rule in his favor. The stronger requirement of “group strategy-proofness” is also often employed to obtain clear characterization results of social choice rules. Gro...

We formulate and study the requirement on an allocation rule that no agent should be able to benefit by augmenting his endowment through borrowing resources from the outside world (alternatively, by simply exaggerating it). We show that the Walrasian rule is not “borrowing-proof” even on standard domains. More seriously, no efficient selection from the endowments-lower-bound correspondence, or ...

We investigate the implications and logical relations between progressivity (a principle of distributive justice) and merging-proofness (a strategic principle) in taxation. By means of two characterization results, we show that these two principles are intimately related, despite their different nature. In particular, we show that, in the presence of continuity and consistency (a widely accepte...

We consider the relation between strategy−proofness of resolute (single−valued) social choice functions and its property which we call Non−negative association property (NNAP) when individual preferences over infinite number of alternatives are continuous, and the set of alternatives is a metric space. NNAP is a weaker version of Strong positive association property (SPAP) of Muller and Sattert...

We study the existence and properties of social choice functions when each individual’s preference order is incomplete: each individual expresses his/her preference on his/her alternative set that is a subset of the whole set of alternatives. We define the strategy-proofness and show that the strategy-proofness is incompatible with nondictatorship. In addition, we weaken the definition of the s...