Title: A Compact, Logical Approach to Large-Market Analysis
Abstract: 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.
Publication Year: 2019
Publication Date: 2019-06-25
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot