We study the relationship between two-agent implementation problems and the notionof interim efficiency due to Holmström and Myerson (1983) in Bayesian environmentswith private values and independent types. We present a general property, Bayesianefficiency, and show that it is sufficient for...

A choice behavior is rational if it is made in accordance with the maximization of some context-independent preference relation. This paper re-examines the classical questions of implementation theory under complete information in a setting in which players' choices need not be rational and in...