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

Using the TAXSIM model for the period 1962-95, we consider the federal tax system's impact as an automatic stabilizer. Despite the many changes in the tax system, there has been relatively little change in its role as an automatic stabilizer. We estimate that individual federal taxes offset...

In this paper, we propose a new measure of horizontal equity that overcomes many of the shortcomings of previous proposed measures. Our starting point is the observation that a well-behaved social welfare function need not evaluate global' (vertical equity) differences in after-tax income using...