A well‐established result in the literature is that Social Security reduces steady state welfare in a standard life cycle model. However, less is known about the historical quantitative effects of the program on agents who were alive when the program was adopted. In a computational life cycle...

This paper proposes a method for the welfare analysis of pay-as-you-go social security systems. We derive a formula for the welfare consequences of a permanent marginal change in the payroll tax rate that is valid under weak assumptions about the deep structure of the economy. Our approach...

When markets are incomplete, social security can partially insure against idiosyncratic and aggregate risks. We incorporate both risks into an analytically tractable model with two overlapping generations and demonstrate that they interact over the life-cycle. The interactions appear even though...

When markets are incomplete, social security can partially insure against idiosyncratic and aggregate risks. We incorporate both risks into an analytically tractable model with two overlapping generations. We derive the equilibrium dynamics in closed form and show that joint presence of both...