Pension benefit rules depend on individual history far more than taxes do, and age plays a much larger role in pension determination than in tax determination. Apart from some simulation studies, theoretical studies of optimal tax design typically contain neither a mandatory pension system nor...

We derive a sufficient statistics optimal tax formula in a general model that incorporates unemployment and endogenous wages, to study the shape of the tax and transfer system at the bottom of the distribution. The sufficient statistics are the macro employment response to taxation and the micro...