In this article an application of extended fields of real numbers to the proof of theorems in the theory of cooperative games will be presented. The proofs set forth below involve the use of A. Robinson's theory of nonstandard analysis and are metamathematical in character. Alternative proofs utilizing ordinary topological methods can in fact be carried out quite briefly. However, attempts to apply nonstandard analysis to game theory are relatively novel. For this reason these results may be of interest not only insofar as they present new information on the theory of the kernel of a cooperative game, but also in that they serve to demonstrate the possibility of effectively exploiting nonstandard analysis as a tool for future investigation in this area. It may well turn out that nonstandard analysis could serve as the most natural vehicle through which concepts defined for games with a finite number of players might be extended to games with a continuum of players.