Marcet and Marimon (1994, revised 1998) developed a recursive saddle point method which can be used to solve dynamic contracting problems that include participation, enforcement and incentive constraints. Their method uses a recursive multiplier to capture implicit prior promises to the agent(s)...

In this paper we examine non-parametric restrictions on counterfactual analysis in a simple dynamic stochastic general equilibrium model. Under the assumption of time-separable expected utility and complete markets all equilibria in this model are stationary, the Arrow-Debreu prices uniquely...

This paper constructs a dynamic model of health insurance to evaluate the short- and long-run effects of policies that prevent firms from conditioning wages on health conditions of their workers, and that prevent health insurance companies from charging individuals with adverse health conditions...

We study the incentive issues associated with self-enforcing stochastic monitoring in a model of investment and production. The efficient contract features a debt-like payment with a threshold in terms of the reported output in which all of the reported output is taken up to the threshold if...

This paper constructs a dynamic model of health insurance to evaluate the short- and long run effects of policies that prevent firms from conditioning wages on health conditions of their workers, and that prevent health insurance companies from charging individuals with adverse health conditions...