An axiomatization of the core of cooperative games without side payments

Let M be a set of m players, m≧3, and let Γ be the set of all (finite) games (without side payments) that have a non-empty core. When M is finite, the following four (independent) axioms fully characterize the core on Γ: (i) non-emptiness, (ii) individual rationality, (iii) the reduced game property, and (iv) the converse reduced game property. If M is infinite, then the converse reduced game property is redundant.