The paper analyzes the canonical hold-up model of Hart and Moore (1988) under the assumption that the courts can verify delivery of the good by the seller. We show that the first best can be achieved using simple "option contracts" which give the seller the right to decide whether or not trade...

Steady state equilibria in heterogeneous agent matching models with search frictions have been shown to exist in Shimer and Smith (2000) under the assumption of a quadratic search technology. We extend their analysis to the commonly investigated linear search technology.