We study optimal income taxation in a framework where one's willingness to report his income truthfully is positively correlated with his type. We show that allowing low-productivity types to cheat leads to Pareto-superior outcomes as compared to deterring them, even if audits can be performed...

We study the joint design of nonlinear income and education taxes when the government pursues redistributive objectives. A key feature of our setup is that the ability type of an agent can affect both the costs and benefits of acquiring education. Market remuneration of agents depends on both...

This paper studies the optimal commodity taxation problem when time taken in consumption is a perfect substitute for either labor or leisure. It shows that while labor substitutability affects the optimal tax structure, leisure substitutability leaves the classical optimal tax results intact. In...