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

We propose a dynamic version of the standard two-party electoral competition model adapted to nonlinear income taxation. The theory has a number of desirable features. First, equilibria always exist, even though the set of admissible tax policies is multidimensional. Second, the Nash set can be...