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

The paper presents a tractable general equilibrium model of search unemployment that incorporates absence from work as a distinct labor force state. Absenteeism is driven by random shocks to the value of leisure that are private information to the workers. Firms offer wages, and possibly sick...