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 Atkinson-Stiglitz Theorem states that if labor is weakly separable from goods in household utility functions, differential commodity taxation should not be not part of an optimal redistributive tax system. This Theorem, which is arguable the most policy-relevant result to come out of the...

A widely noticed result by de Crombrugghe and Tulkens (1990) states that asymmetric commodity tax competition always leads to tax rates being too low in both countries, even though there are counteracting tax base and terms of trade effects. This note argues that the result depends crucially on...

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