Age-dependent taxation and the optimal retirement benefit formula

This paper presents a comprehensive view of lifetime taxation including both explicit taxation through the general tax system and implicit taxation via the retirement benefit formula. Differences in productivity between individuals are unobservable, which provides a rationale for the use of distortionary taxes. It is shown that the optimal structure of age-dependent taxation can be characterized by a generalized Ramsey formula. Furthermore, the paper derives the optimal retirement benefit formula in the presence of the general tax system and examines the compatibility with the financial stability of the pension system.