It is often argued that implicit taxation on continued activity of elderly workers is responsible for the widely observed trend towards early retirement. In a world of laissez-faire or of first-best efficiency, there would be no such implicit taxation. The point of this paper is that when...

We study the design of pension benefits for male and female workers. Women live longer than men but have a lower wage. Individuals can be single or live in couples who pool their incomes. Social welfare is utilitarian but an increasing concave transformation of individuals' lifetime utilities...