The paper develops a two-sector general equilibrium search model where 'goods' are produced exclusively in the market and 'services' are produced both in the market and within the households. We use the model to examine how unemployment and welfare are affected by labor taxes in general and...

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