This paper is concerned with the problem of combining a non-linear income tax with an indirect externality correcting tax. The analysis is performed in a model economy with two types of individuals and two types of consumption goods. The government wants to redistribute from the more able...

This paper is concerned with the problem of combining a non-linear income tax with an indirect externality correcting tax. The analysis is performed in a model economy with two types of individuals and two types of consumption goods. The government wants to redistribute from the more able...

This paper analyzes optimal linear taxes on labor income and savings in a standard two-period life-cycle model with endogenous leisure demands in both periods and non-insurable income risks. Households are subject to skill shocks in both periods of the life-cycle. We allow for completely general...

The Atkinson-Stiglitz (1976) theorem on the undesirability of nonuniform excise taxation when all agents have homogeneous, separable preferences is extended to allow for nonseparability with respect to endogenous variables that will be subject to distortions. The result is useful for analysing...

The paper provides an extension and a new proof of Deaton's theorem on the undesirability of nonuniform excise taxation when income taxes are affine and preferences over consumption goods are separable from labour-leisure choices, homothetic, and identical across agents.

This paper analyzes optimal linear taxes on labor income and savings in a standard two-period life-cycle model with endogenous leisure demands in both periods and non-insurable income risks. Households are subject to skill shocks in both periods of the life-cycle. We allow for completely general...

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

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

The paper provides an extension and a new proof of Deaton's theorem on the undesirability of nonuniform excise taxation when income taxes are affine and preferences over consumption goods are separable from labour-leisure choices, homothetic, and identical across agents.

The Atkinson-Stiglitz (1976) theorem on the undesirability of nonuniform excise taxation when all agents have homogeneous, separable preferences is extended to allow for nonseparability with respect to endogenous variables that will be subject to distortions. The result is useful for analysing...