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