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

We develop a model where individuals differ in productivity and in longevity. Benefits from the public pay-as-you-go pension system take the form of a collective annuity, with both a contributive (Bismarckian) component (based on the worker's past earnings) and a flat (Beveridgean) part. Voters...

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