This paper extends the model of optimal income taxation due to Mirrlees (1971) and includes private information on public goods preferences. A mechanism design approach is used to establish the following result: If policies are required to be robustly implementable in the sense of Bergemann and...

We study a large economy model in which individuals have private information about their productive abilities and their preferences for public goods. A mechanism design approach is used to characterize implementable tax and expenditure policies. A robustness requirement in the sense of Bergemann...

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

We characterize the Pareto-frontier in a simple Mirrleesian model of income taxation. We show how the second-best frontier which incorporates incentive constraints due to private information on productive abilities relates to the first-best frontier which takes only resource constraints into...

We study a large economy model in which individuals have private information about their productive abilities and their preferences. Moreover, there is aggregate uncertainty so that the social benefits from taxation and public goods provision are a priori unknown. The analysis is based on a...

We characterize the Pareto-frontier in a simple Mirrleesian model of income taxation. We show how the second-best frontier which incorporates incentive constraints due to private information on productive abilities relates to the first-best frontier which takes only resource constraints into...

This paper combines the problem of optimal income taxation with the free-rider problem in public good provision. There are two groups of individuals with private information on their earning ability and their valuation of a public good. Adjustments of the transfer system are needed to discourage...

In the present paper we extend the classical tax-competition framework of Zodrow and Mieszkowski (1986) by modelling involuntary unemployment and by allowing for labour taxation as a second source of public funds. For a large class of production functions (including CES), it turns out that tax...