This paper studies optimal linear income taxation and redistributive social insurance when the former has the traditional labor distortion and the latter generates both ex ante and ex post moral hazard. Private insurance is available and individuals differ in labor productivity and in loss...

Using the Mirrlees optimal income tax model with a maxi-min social welfare function, we derive conditions for a decreasing marginal tax rate throughout the skill distribution, a strictly concave tax function in income and a single-peaked average tax schedule. With additive preferences and a...

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