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

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

In a model with ex-ante homogenous households, earnings risk and a general earnings function, we derive the optimal linear labor tax rate and optimal linear education subsidies. The optimal income tax trades off social insurance against incentives to work and to invest in human capital....

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

This paper analyzes optimal linear commodity taxes joint with non-linear income taxes. We provide optimal tax rules based on empirically observable elasticities. We demonstrate that commodities should be taxed/subsidized if doing so boosts labor supply. The critical role of commodity taxation is...

This paper extends the Mirrlees (1971) model of optimal non-linear income taxation with a monitoring technology that allows the government to verify labor effort at a positive, but non-infinite cost. Monitored individuals receive a penalty, which increases if individuals earn a lower income...

This paper aims to provide a perspective on the ideal tax system using insights from optimal-tax theory supplemented with empirical evidence. These insights are applied to actual policy questions regarding the progressiveness of the labor income tax, in-work tax credits, the design of the...

We formulate a two-period life-cycle model of saving, labor supply, and human capital investments when individuals differ in ability and initial wealth. Borrowing constraints prevent individuals to optimally smooth consumption over the life-cycle and to optimally invest in human capital. We show...