We ask whether a PAYG-financed social security system is welfare improving in an economy with idiosyncratic and aggregate risk. We argue that interactions between the two risks are important for this question. One is a direct interaction in the form of a countercyclical variance of idiosyncratic...

We ask whether a PAYG-financed social security system is welfare improving in an economy with idiosyncratic and aggregate risk. We argue that interactions between the two risks are important for this question. One is a direct interaction in the form of a countercyclical variance of idiosyncratic...

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...

We ask whether a pay-as-you-go financed social security system is welfare improving in an economy with idiosyncratic productivity and aggregate business cycle risk. We show analytically that the whole welfare benefit from joint insurance against both risks is greater than the sum of benefits...

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...

We ask whether a pay-as-you-go financed social security system is welfare improving in an economy with idiosyncratic productivity and aggregate business cycle risk. We show analytically that the whole welfare benefit from joint insurance against both risks is greater than the sum of benefits...

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...