This paper studies the efficiency of equilibria in a productive OLG economy where the process of financial intermediation is characterized by costly state verification. Both competitive equilibria and Constrained Pareto Optimal allocations are characterized. It is shown that market outcomes can...

We analyze the interaction between risk sharing and capital accumulation in a stochastic OLG model with production. We give a complete characterization of interim Pareto optimality. Our characterization also subsumes equilibria with a PAYG social security system. In a competitive equilibrium...