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

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

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