This paper shows how to derive a complete set of optimality conditions characterising the solution to a dynamic optimal income tax problem in the spirit of Mirrlees (1971), under the assumption that a 'first-order' approach to incentive compatibility is valid.  The method relies on constructing...

This paper investigates how best to determine time-invariant policy rules in macroeconomic models with forward-looking constraints, where fully optimal policy is known to be time-inconsistent.  It proposes a new 'coefficient optimisation' approach that improves upon the timeless perspective...