We evaluate the effectiveness of a more progressive tax scheme in raising government revenues. We develop a life-cycle economy with heterogeneity and endogenous labor supply. Households face a progressive income tax schedule, mimicking the Federal Income tax, and flat-rate taxes that capture...

We propose a canonical model of optimal nonlinear redistributive taxation with matching unemployment. In our model, agents are endowed with different skill levels and labor markets are perfectly segmented by skill. The government only observes negotiated wages. More progressive taxation leads to...

This paper characterizes the optimal redistributive taxation when individuals are heterogeneous in two exogenous dimensions: their skills and their values of non-market activities. Search-matching frictions on the labor markets create unemployment. Wages, labor demand and participation are...