Core equivalence theorems for infinite convex games

We show that the core of a continuous convex game on a measurable space of players is a von Neumann-Morgenstern stable set. We also extend the definition of the Mas-Colell bargaining set to games with a measurable space of players, and show that for continuous convex games the core may be strictly included in the bargaining set but it coincides with the set of all countably additive payoff measures in the bargaining set. We provide examples which show that the continuity assumption is essential to our results

Formal representation and proof for cooperative games

In this contribution we present some work we have been doing in representing and proving theorems from the area of economics, and mainly we present work we will do in a project in which we will apply mechanised theorem proving tools to a class of economic problems for which very few general tools currently exist. For mechanised theorem proving, the research introduces the field to a new application domain with a large user base; more specifically, the researchers are collaborating with developers working on state-of-the-art theorem provers. For economics, the research will provide tools for handling a hard class of problems; more generally, as the first application of mechanised theorem proving to centrally involve economic theorists, it aims to properly introduce mechanised theorem proving techniques to the discipline.\u