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

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