Housing transactions by owner-occupiers take two steps, purchase of a new property and sale of the old housing unit. This paper shows how the transaction sequence decision of owner-occupiers depends on, and in turn, affects housing market conditions in an equilibrium search-and-matching model of...

Housing transactions by existing homeowners take two steps, a purchase of a new property and sale of the old housing unit. These two decisions are not independent, and their sequence may depend on the state of the housing market. This paper shows how the sequence of buyer-seller decisions...

A 'folk theorem' originating, among others, in the work of Stiglitz maintains that competitive equilibria are always or 'generically' inefficient (unless contracts directly specify consumption levels as in Prescott and Townsend, thus bypassing trading in anonymous markets). This paper critically...