The Atkinson-Stiglitz Theorem states that if labor is weakly separable from goods in household utility functions, differential commodity taxation should not be not part of an optimal redistributive tax system. This Theorem, which is arguable the most policy-relevant result to come out of the...

The theory of optimal taxation has often been criticized for being of little practical policy relevance, due to a lack of robust theoretical results. This paper argues that recent advances in optimal tax theory has made that theory easier to apply and may help to explain some current trends in...

Recent literature on optimal nonlinear taxation has shown that in models with a single level of government public provision of private goods can help redistribution by mitigating self-selection constraints. The aim of the present paper is to extend the analysis to a fiscal federalism setting...

We study the interdependence of optimal tax and expenditure policies. An optimal policy requires that information on preferences is made available. We first study this problem from a general mechanism design perspective and show that efficiency is possible only if the individuals who decide on...

We study how an optimal income tax and an optimal public-goods provision rule respond to preference and productivity shocks. A conventional Mirrleesian treatment is shown to provoke manipulations of the policy mechanism by individuals with similar interests. We therefore extend the Mirrleesian...

Taxation theory rarely takes entrepreneurship into consideration. We discuss how this omission affects conclusions derived from standard models of capital taxation when applied to entrepreneurial income. Some of the defining features of entrepreneurship often omitted by standard capital taxation...

The paper provides a new formulation of the Mirrlees-Seade theo- rem on the positivity of the optimal marginal income tax, under weaker assumptions and in a more general model. The formulation of the the- orem is independent of whether the model involves finitely many types or a continuous type...

This paper analyzes the efficient taxation of oil and capital income in an oil-dependent infinite-lived economy facing perfect capital mobility. Two cases are examined: one with product market imperfections and free tax choice, one with perfect competition and tax restrictions. The optimal tax...