The paper extends the basic Stiglitz (1982) model of optimal income taxation into general search equilibrium. When we extend the basic taxation model to include a more realistic treatment of the labor market, a number of new interesting mechanisms arise. When wages are fixed we find that a work...

This paper explores the rationale for unemployment benefits as a complement to optimal non-linear income taxation. High-skilled workers and low-skilled workers face different exogenous risks of being unemployed. As long as the low-skilled workers face a higher unemployment risk, we find that...

The paper extends the basic Stiglitz (1982) model of optimal nonlinear income taxation into a model featuring endogenous unemployment and wages. This means that the government needs to consider the effects on wages and unemployment when designing the optimal tax function. The tax systems'...