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 addresses the question of the optimal taxation of labour and interest income in an overlapping generations model with two unobservable characteristics, ability and inheritance. We assume realistically that saving can only be taxed anonymously, whereas the tax on labour earnings can be...