We consider mechanism design in contexts in which agents exhibit bounded depth of reasoning (level k) instead of rational expectations. We use simple direct mechanisms, in which agents report only first-order beliefs. While level 0 agents are assumed to be truth tellers, level k agents...

Watson (2007) proposes non-forcing contracts as a way to show the limitations of the mechanism design program with ex-post renegotia- tion (Maskin and Moore (1999)). If one takes a partial implementation approach, as Watson does, we show that non-forcing contracts do not con- stitute an...

We study information transmission in large interim quasilinear economies using the theory of the core. We concentrate on the core with respect to equilibrium blocking, a core notion in which information is transmitted endogenously within coalitions, as blocking can be understood as an...

Define the riskiness of a gamble as the reciprocal of the absolute risk aversion (ARA) of an individual with constant ARA who is indifferent between taking and not taking that gamble. We characterize this index by axioms, chief among them a "duality" axiom that, roughly speaking, asserts that...

We study information transmission in large interim quasilinear economies using the theory of the core. We concentrate on the core with respect to equilibrium blocking, a core notion in which information is transmitted endogenously within coalitions, as blocking can be understood as an...

We characterize full implementation of social choice sets in mixedstrategy Bayesian equilibrium. Our results concern both exact and virtual mixed implementation. For exact implementation, we identify a strengthening of Bayesian monotonicity, which we refer to as mixed Bayesian monotonicity. It...

We study the dynamic stability of fidelity networks, which are networks that form in a mating economy of agents of two types (say men and women), where each agent desires direct links with opposite type agents, while engaging in multiple partnerships is considered an act of infidelity....

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 our...

We study a decentralized matching model in a large exchange economy, in which trade takes place through non--cooperative bargaining in coalitions of finite size. Under essentially the same conditions of core equivalence, we show that the strategic equilibrium outcomes of our model coincide with...