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...

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)...

This paper examines the equilibrium correspondence in Arrow-Debreu exchange economies with semi-algebraic preferences. We show that a generic semi-algebraic exchange economy gives rise to a square system of polynomial equations with finitely many solutions. The competitive equilibria form a...