CMSA Colloquium: A Compact, Logical Approach to Large-Market Analysis

CMSA EVENTS

View Calendar
February 12, 2020 4:30 pm - 5:30 pm
CMSA, 20 Garden St, G10
Address: 20 Garden Street, Cambridge, MA 02138
Speaker:

Scott Duke Kominers - Harvard University

In game theory, we often use infinite models to represent "limit" settings, such as markets with a large number of agents or games with a long time horizon. Yet many game-theoretic models incorporate finiteness assumptions that, while introduced for simplicity, play a real role in the analysis. Here, we show how to extend key results from (finite) models of matching, games on graphs, and trading networks to infinite models by way of Logical Compactness, a core result from Propositional Logic. Using Compactness, we prove the existence of man-optimal stable matchings in infinite economies, as well as strategy-proofness of the man-optimal stable matching mechanism. We then use Compactness to eliminate the need for a finite start time in a dynamic matching model. Finally, we use Compactness to prove the existence of both Nash equilibria in infinite games on graphs and Walrasian equilibria in infinite trading networks.