We analyze the relation between tax enforcement, aggregate output and government revenue when imperfectly competitive firms evade a specific output tax. We show that aggregate output decreases with tax enforcement. Government revenue increases with enforcement when the tax is low. When the tax...

We study nonlinear income taxation in a Roy model in which agents' productivity is sectorspecific. We show that when income taxes can be sector-specific, the Diamond-Mirrlees theorem (according to which the second-best displays production efficiency) fails: social welfare (be it Rawlsian or...

The paper studies the design of couples income taxation when consumption and labor supply decisions within the couple are made in a cooperative way according to some bargaining scheme. Specifically, the couple maximizes a weighted sum of the spouses utilities. In the first part of the paper, the...

We study nonlinear income taxation in a Roy model in which agents' productivity is sectorspecific. We show that when income taxes can be sector-specific, the Diamond-Mirrlees theorem (according to which the second-best displays production efficiency) fails: social welfare (be it Rawlsian or...