Systemic risk must include the housing market, though economists have not generally focused on it. We begin construction of an agent-based model of the housing market with individual data from Washington, DC. Twenty years of success with agent-based models of mortgage prepayments give us hope...

We study endogenous leverage in a general equilibrium model with incomplete markets. We prove that in any binary tree leverage emerges in equilibrium at the maximum level such that VaR = 0, so there is no default in equilibrium, provided that agents get no utility from holding the collateral....

The use of equilibrium models in economics springs from the desire for parsimonious models of economic phenomena that take human reasoning into account. This approach has been the cornerstone of modern economic theory. We explain why this is so, extolling the virtues of equilibrium theory; then...