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

It is often argued that implicit taxation on continued activity of elderly workers is responsible for the widely observed trend towards early retirement. In a world of laissez-faire or of first-best efficiency, there would be no such implicit taxation. The point of this paper is that when...

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

This paper begins with a survey of the literature on the political economy approaches to labor income taxation. We focus on recent progress made by examining in detail the specific properties of non-linear taxes derived in the context of voting. Next, we present new results on the existence of...