Computing minimal state space recursive equilibrium in OLG models with stochastic production

Using order-theoretic methods, we derive sufficient conditions for the existence, characterization, and computation of minimal state space recursive equilibrium (RE), as well as Stationary Markov equilibrium (SME) for various classes of stochastic overlapping generations models. In contrast to previous work, our methods focus on constructive methods. Our existence results are obtained for models that include public policy (e.g., social security policies, transfers, taxes, etc), production nonconvexities, elastic labor supply, non-monotone income processes, and long-lived agents. We distinguish conditions under which there exist various subclasses of minimal state space RE, including bounded, monotone, non-monotone, semicontinuous, Lipschitz continuous RE. Finally, we provide monotone equilibrium comparative statics results on the space of economies for some RE.