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

We evaluate the effectiveness of a more progressive tax scheme in raising government revenues. We develop a life-cycle economy with heterogeneity and endogenous labor supply. Households face a progressive income tax schedule, mimicking the Federal Income tax, and flat-rate taxes that capture...

This paper studies the tax treatment of couples. We develop two different approaches. One is tailored to the analysis of tax systems that stick to the principle that the tax base for couples is the sum of their incomes. One is tailored to the analysis of reforms toward individual taxation. We...