We consider an infinite-horizon exchange economy with incomplete markets and collateral constraints. As in the two-period model of Geanakoplos and Zame (2002), households can default on their liabilities at any time, and financial securities are only traded if the promises associated with these...

Dynamic games are used to analyze dynamic strategic interactions. While existence of equilibrium can often be proved by conventional methods, uniqueness is much more difficult to establish. If a game reduces to solving a system of polynomial equations, then one could use algorithms for finding...

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

Trading volume of infinitely lived securities, such as equity, is generically zero in Lucas asset pricing models with heterogeneous agents. More generally, the end-of-period portfolio of all securities is constant over time and states in the generic economy. General equilibrium restrictions rule...

Transaction costs in financial markets may have important consequences for volumes of trade, asset pricing and welfare. In the economic literature they are often given as one reason for the incompleteness of asset markets, which is a striking example of their potential impact on volumes of...

The trading volume of long-lived securities with recursive payoffs, such as equity, is generically zero in infinite-horizon recursive pure exchange Lucas asset models with heterogeneous agents. In equilibrium, there is no portfolio rebalancing of such assets. More generally, the end-of-period...

While equilibrium allocations in models with incomplete markets are generally not Pareto-efficient, it is often argued that quantitative welfare losses from missing assets are small when time-horizons are long and shocks are transitory. In this paper we use a computational analyses to show that...