The rational prodigality argument, which often serves to justify social security, is considered in a second-best tax framework with endogenous labor supply. Rational prodigality renders the familiar policies time inconsistent. We analyze time consistent policies and show that a wage tax suffices...

We study the optimal provision of social security in a dynamically efficient economy using a continuous-time overlapping-generations model in which consumers have short planning horizons. The short-horizon mechanism leads to dynamic optimization that is time-inconsistent over the life cycle. Our...

This Handbook entry presents a conceptual, normative overview of the subject of taxation. It emphasizes the relationships among the main functions of taxation--notably, raising revenue, redistributing income, and correcting externalities--and the mapping between these functions and various forms...

Conventional wisdom states that the statutory split of payroll taxa- tion between rms and workers is of no macroeconomic relevance, because the tax incidence is fully determined by the market structure. This pa- per breaks with this view by establishing a theoretical link between the statutory...