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

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