Recursive equilibrium in stochastic overlapping-generations economies

We prove generic existence of recursive equilibrium for overlapping generations economies with uncertainty. "Generic" here means in a residual set of utilities and endowments. The result holds provided there is sufficient intragenerational household heterogeneity.