The well-known Johansson-Samuelson Theorem proves that, in partial equilibrium, comprehensive income taxation with a uniform tax rate is neutral in terms of investment decisions, if fiscal depreciation allowances coincide with economic depreciation. In this article we show that this result does...

Pension benefit rules depend on individual history far more than taxes do, and age plays a much larger role in pension determination than in tax determination. Apart from some simulation studies, theoretical studies of optimal tax design typically contain neither a mandatory pension system nor...

This paper analyzes the treatment of commuting expenses by the income tax code from a normative and a positive point of view within a continuous space framework with endogenous residence choices and perfect labor mobility. As commuting expenses should never be deductible from the income tax base...

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 provides necessary and sufficient conditions for the existence of Pareto-improving tax reforms. The conditions can be expressed as sufficient statistics and have a wide range of potential applications in public finance. We discuss one such application in detail: the introduction of...

This paper studies optimal non-linear income taxation in a model with labor supply responses at the intensive (hours, effort) and extensive (participation) margins. It shows that an Earned Income Tax Credit (EITC) with negative marginal taxes and negative participation taxes at the bottom is...

In this paper we examine the desirability of subsidizing child care expenditures in a model where parents can choose both the quantity and the quality of child care services they purchase in the market. Our vehicle of analysis is a Mirrleesian optimal tax framework where child care services not...