We axiomatize decreasing impatience (DI) in a discrete-time setting, as originally discussed by Prelec, and formulate a class of recursively-defined discounting functions that conform to DI. The recursive formulation is used to analyze the Ramsey growth problem using dynamic programming techniques.

In this paper we demonstrate that supplementing the optimal non-linear income tax system with a binding maximum wage rule attains a Pareto improvement, by serving to mitigate the mimicking incentives of the high-skill individuals without entailing distortions.