This paper extends the Mirrlees (1971) model of optimal non-linear income taxation with a monitoring technology that allows the government to verify labor effort at a positive, but non-infinite cost. Monitored individuals receive a penalty, which increases if individuals earn a lower income...

The Netherlands has a unique tradition in which all major Dutch political parties provide CPB Netherlands Bureau for Economic Policy Analysis with highly detailed proposals for the tax-benefit system in every national election. This information allows us to quantitatively measure the...

The Netherlands has a unique tradition in which all major Dutch political parties provide CPB Netherlands Bureau for Economic Policy Analysis with highly detailed proposals for the tax benefit system in every national election. This information allows us to quantitatively measure the...

This paper extends the Mirrlees (1971) model of optimal non-linear income taxation with a monitoring technology that allows the government to verify labor effort at a positive, but non-infinite cost. Monitored individuals receive a penalty, which increases if individuals earn a lower income...

We analyze the optimal nonlinear income tax schedule for taxpayers with multiple incomes and multiple unobserved characteristics. We identify smoothness assumptions and extensions of the single crossing conditions that enable the characterization of the optimum through variational calculus. Both...

This paper studies the design of tax systems that implement a planner's second-best allocation in a market economy. An example shows that the widely used Mirrleesian (1976) tax system cannot implement all incentive-compatible allocations. Hammond's (1979) "principle of taxation" proves that any...

This paper studies the design of tax systems that implement a planner's second-best allocation in a market economy. An example shows that the widely used Mirrleesian (1976) tax system cannot implement all incentive-compatible allocations. Hammond's (1979) "principle of taxation" proves that any...

We characterize the second-best allocation in a Mirrleesian optimal tax model where agents differ in multiple dimensions and the planner can tax multiple goods non-linearly. We develop a new method that allows us to solve the partial differential equations that describe the optimum regardless of...