How do taxes in the financial sector affect economic outcomes? We analyze a simple general equilibrium model with financial intermediation. We formalize a trade-off between tax policies that burden the owners of banks and tax policies that burden households. We also study the implications of the...

This paper deals with second-best pollution taxation by investigating allocations instead of the corresponding tax rates. Assuming certain restrictions on utility and that the marginal revenue from environmental taxation is positive, it is shown that environmental quality is higher in second...

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

This paper derives a version of the Samuelson rule, which takes not only the marginal costs of public funds into account but also the desirability of preference revelation. Under a linear income tax more able individuals suffer from a larger utility loss if taxes are raised to cover the cost of...

This paper studies the relation between Bayesian mechanism de- sign and the Ramsey-Boiteux approach to the provision and pricing of excludable public goods. For a large economy with private informa- tion about individual preferences, the two approaches are shown to be equivalent if and only if,...

This paper assumes that individuals possess private information both about their abilities and about their valuation of a public good. Individuals can undertake collective actions on order to manipulate the tax system and the decision on public good provision. Consequently, an implementable...

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

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