We examine the impact of a stylized pay-as-you-go (PAYGO) Social Security program in an economy of overlapping generations with equilibrium growth. We adopt realistic mortality and other demographic assumptions and allow for the presence or absence of full life annuities. In all cases we find...

Several recent studies have examined the steady-state welfare implications of mortality differentials within unfunded Social Security systems, concluding that these differentials undermine the progressivity of the system and make society worse-off relative to alternative public pension schemes....