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

This paper shows that the combination of habit formation - present consumption creating additional consumption needs in the future - and myopia may explain why some retirees are forced to "unretire", i.e., unexpectedly return to work. It also shows that when myopia about habit formation leads to...