We look at the theory of arbitrage with taxation under certainty. The tax scale in our model is not linear. Under the …

—the theory of recursive contracts. Recursive formulations allow us to reduce often complex models to a sequence of essentially … of the basic theory: the Revelation Principle, formulating and simplifying the incentive constraints, using promised … advanced topics: duality theory and Lagrange multiplier techniques, models with lack of commitment, and martingale methods in …