This paper computes the optimal progressivity of the income tax code in a dynamic general equilibrium model with household heterogeneity in which uninsurable labor productivity risk gives rise to a nontrivial income and wealth distribution. A progressive tax system serves as a partial substitute...

This paper computes the optimal progressivity of the income tax code in a dynamic general equilibrium model with household heterogeneity in which uninsurable labor productivity risk gives rise to a nontrivial income and wealth distribution. A progressive tax system serves as a partial substitute...

This paper studies optimal linear income taxation and redistributive social insurance when the former has the traditional labor distortion and the latter generates both ex ante and ex post moral hazard. Private insurance is available and individuals differ in labor productivity and in loss...