We study the optimal provision of social security in a dynamically efficient economy using a continuous-time overlapping-generations model in which consumers have short planning horizons. The short-horizon mechanism leads to dynamic optimization that is time-inconsistent over the life cycle. Our...

Common wisdom suggests that a fully-funded actuarially fair social security system should increase welfare when households face longevity risk and annuity markets are missing. This wisdom is based on the observation that social security pays benefits as life annuities and therefore appears to...