To analyze the optimal social insurance package, we set up a two-period life-cycle model with risky human capital investment in which the government has access to labor taxation, education subsidies, and capital taxation. Social insurance is provided by redistributive labor taxation. We point...

This paper analyzes optimal linear taxes on labor income and savings in a standard two-period life-cycle model with endogenous leisure demands in both periods and non-insurable income risks. Households are subject to skill shocks in both periods of the life-cycle. We allow for completely general...

This paper analyzes optimal linear taxes on labor income and savings in a standard two-period life-cycle model with endogenous leisure demands in both periods and non-insurable income risks. Households are subject to skill shocks in both periods of the life-cycle. We allow for completely general...

This paper analyzes optimal linear taxes on labor income and savings in a standard two-period life-cycle model with endogenous leisure demands in both periods and non-insurable income risks. Households are subject to skill shocks in both periods of the life-cycle. We allow for completely general...

This paper analyzes optimal linear taxes on labor income and savings in a standard two-period life-cycle model with endogenous leisure demands in both periods and non-insurable income risks. Households are subject to skill shocks in both periods of the life-cycle. We allow for completely general...

This paper analyzes optimal linear taxes on labor income and savings in a two-period life cycle model with ex ante identical households, endogenous leisure demands in both periods, and general processes of skill shocks over the life cycle. We demonstrate that the Atkinson-Stiglitz theorem breaks...

This paper analyzes optimal linear taxes on labor income and savings in a two-period life-cycle model with ex ante identical households, endogenous leisure demands in both periods, and general processes of skill shocks over the life cycle. We demonstrate that the Atkinson–Stiglitz theorem...