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

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