We define and discuss Savage games, which are ordinal games of incomplete information set in L. J. Savage's framework of purely subjective uncertainty. Every Bayesian game is ordinally equivalent to a Savage game. However, Savage games are free of priors, probabilities and payoffs. Players'...

The second welfare theorem and the core-equivalence theorem have been proved to be fundamental tools for obtaining equilibrium existence theorems, especially in an infinite dimensional setting. For well-behaved exchange economies that we call proper economies, this paper gives (minimal)...