Shapley (1955) introduced the model of an abstract market game as a generalization of the assignment game model, among several other models. He conjectured that abstract market games possess non-empty cores. We analyze properties of abstract market games and provide a proof of this conjecture...