We consider an infinite horizon exchange economy with incomplete markets and default. As in Geanakoplos and Zame (1998) financial securities are traded if the promises associated with them are backed by collateral. The only collateral available in our economy are shares of Lucas trees. We prove...

This paper uses an asymptotically valid expansion to derive explicitly agent's individual demand schedules and then the equilibrium allocations in options. Agents derive financial and non-tradeable income over time; they can only partially offset the latter using bonds and stocks and the option...

The parametric path method applies projection methods to compute the equilibrium path of economic variables in infinite-horizon dynamic models. We exploit the special structure of economic time paths common in such models. This structure drastically reduces dimensionality and reduces computing...