This paper studies an overlapping generations model with stochastic production and incomplete markets to assess whether the introduction of an unfunded social security system leads to a Pareto improvement. When returns to capital and wages are imperfectly correlated a system that endows retired...

How much additional tax revenue can the government generate by increasing the level of labor income taxes? In this paper, we argue that the degree of tax progressivity is a quantitatively important determinant of the answer to this question. To make this point, we develop a large scale...