Axiomatizations of the core on the universal domain and other natural domains

We prove that the core on the set of all transferable utility games with players contained in a universe of at least five members can be axiomatized by the zero inessential game property, covariance under strategic equivalence, anonymity, boundedness, the weak reduced game property, the converse reduced game property, and the reconfirmation property. These properties also characterize the core on certain subsets of games, e.g., on the set of totally balanced games, on the set of balanced games, and on the set of superadditive games. Suitable extensions of these properties yield an axiomatization of the core on sets of nontransferable utility games. Received September 1999/Final version December 2000