Pension benefit rules depend on individual history far more than taxes do, and age plays a much larger role in pension determination than in tax determination. Apart from some simulation studies, theoretical studies of optimal tax design typically contain neither a mandatory pension system nor...

In this book Peter Diamond analyzes social security as a particular example of optimal taxation theory. Assuming a world of incomplete markets and asymmetric information, he uses a variety of simple models to illuminate the economic forces that bear on specific social security policy issues. The...

With heterogeneity in both skills and discount factors, the Atkinson-Stiglitz theorem that savings should not be taxed does not hold. We consider a model with heterogeneity of preferences at each earnings level. With some assumptions on the equilibrium, a small savings tax on high earners and a...