The paper provides an extension and a new proof of Deaton's theorem on the undesirability of nonuniform excise taxation when income taxes are affine and preferences over consumption goods are separable from labour-leisure choices, homothetic, and identical across agents. -- Optimal Excise Taxes...

The Atkinson-Stiglitz (1976) theorem on the undesirability of nonuniform excise taxation when all agents have homogeneous, separable preferences is extended to allow for nonseparability with respect to endogenous variables that will be subject to distortions. The result is useful for analysing...

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

The Atkinson-Stiglitz (1976) theorem on the undesirability of nonuniform excise taxation when all agents have homogeneous, separable preferences is extended to allow for nonseparability with respect to endogenous variables that will be subject to distortions. The result is useful for analysing...

The paper provides an extension and a new proof of Deaton's theorem on the undesirability of nonuniform excise taxation when income taxes are affine and preferences over consumption goods are separable from labour-leisure choices, homothetic, and identical across agents.

The paper develops an integrated model of optimal nonlinear income taxation, public-goods provision and pricing in a large economy. With asymmetric information about labour productivities and publicgoods preferences, the multidimensional mechanism design problem becomes tractable by requiring...

The paper provides a new proof of the positivity of the optimal marginal income tax, in a more general model, under weaker assumptions. The analysis focusses on the (weakly) relaxed problem in which upward incentive constraints are replaced by a monotonicity condition on consumption. Without...