We study nonlinear income taxation in a Roy model in which agents' productivity is sectorspecific. We show that when income taxes can be sector-specific, the Diamond-Mirrlees theorem (according to which the second-best displays production efficiency) fails: social welfare (be it Rawlsian or...

This paper studies the design of couples' income taxation. Consumption and labor supply decisions within the couple are made by maximizing a weighted sum of the spouses’ utilities; bargaining weights are given but specific to each couple. The information structure and labor supply decisions...

Atkinson and Stiglitz show that with weakly separability, differential commodity taxes are unnecessary given an optimal nonlinear income tax. Deaton showed that with an optimal linear progressive income tax, commodity taxes are superfluous under weakly separable and linear Engel curves. Using...

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