We present a comprehensive theory of large non-anonymous games in which agents have a name and a determinate social-type and/or biological trait to resolve the dissonance of a (matching-pennies type) game with an exact pure-strategy Nash equilibrium with finite agents, but without one when...

Economies with asymmetric information are encompassed by an extension of the model of general competitive equilibrium that does not require an explicit modeling of private information. Sellers have discretion over deliveries on contracts; this is in common with economies with default, incomplete...

We address some open issues regarding the characterization of double auctions. Our model is a two-sided commodity market with either finitely or infinitely many traders. We first unify existing formulations for both finite and infinite markets and generalize the characterization of market...

We study the assignment of discrete resources in a general model encompassing a wide range of applied environments, such as school choice, course allocation, and refugee resettlement. We allow single-unit and general multi-unit demands and any linear constraints. We prove the Second Welfare...

Models of choice where agents see others as less sophisticated than themselves have significantly different, sometimes more accurate, predictions in games than does Nash equilibrium. When it comes to mechanism design, however, they turn out to have surprisingly similar implications. This paper...

We provide a characterization of virtual Bayesian implementation in pure strategies for environments satisfying no-total-indifference. A social choice function in such environments is virtually Bayesian implementable if and only if it satisfies incentive compatibility and a condition we term...

This paper provides a general overview of the literature on the core of an exchange economy with asymmetric information. Incentive compatibility is emphasized in studying core concepts at the ex ante and interim stage. The analysis includes issues of non-emptiness of the core as well as core...

It is well known that a social choice function is truthfully implementable in Bayesian Nash equilibrium if and only if it is incentive compatible. However, in general it is not possible to rule out other equilibrium outcomes, and additional conditions, e.g., Bayesian monotonicity, are needed to...

An appropriate (interim) notion of the core for an economy with incomplete information depends on the amount of information that coalitions can share. The coarse and fine core, as originally defined by Wilson (1978), correspond to two polar cases, involving no information sharing and arbitrary...

We consider robust virtual implementation, where robustness is the requirement that implementation succeed in all type spaces consistent with a given payoff type space as well as with a given space of first-order beliefs about the other agents’ payoff types. This last bit, which constitutes...