Economies with Observable Types
We study economies of asymmetric information with observable types. Trade takes place in lotteries. Individuals face a standard budget constraint, while the incentive compatibility constraints are imposed on the production set of the intermediaries. This formalization encompasses moral hazard and private information economies. Equilibrium allocations are constrained efficient, but, contrary to what stated for example in Jerez (2005), the set of equilibrium allocations may be empty and the Second Welfare Theorem may fail. This happens for two reasons.