Skip to Main Content
HBS Home
  • About
  • Academic Programs
  • Alumni
  • Faculty & Research
  • Baker Library
  • Giving
  • Harvard Business Review
  • Initiatives
  • News
  • Recruit
  • Map / Directions
Faculty & Research
  • Faculty
  • Research
  • Featured Topics
  • Academic Units
  • …→
  • Harvard Business School→
  • Faculty & Research→
Publications
Publications
  • 2020
  • Working Paper
  • HBS Working Paper Series

To Infinity and Beyond: Scaling Economic Theories via Logical Compactness

By: Yannai A. Gonczarowski, Scott Duke Kominers and Ran I. Shorrer
  • Format:Print
  • | Language:English
  • | Pages:47
ShareBar

Abstract

Many economic-theoretic models incorporate finiteness assumptions that, while introduced for simplicity, play a real role in the analysis. Such assumptions introduce a conceptual problem, as results that rely on finiteness are often implicitly nonrobust; for example, they may depend upon edge effects or artificial boundary conditions. Here, we present a unified method that enables us to remove finiteness assumptions, such as those on market sizes, time horizons, and datasets. We then apply our approach to a variety of matching, exchange economy, and revealed preference settings.
The key to our approach is Logical Compactness, a core result from Propositional Logic. Building on Logical Compactness, in a matching setting, we reprove large-market existence results implied by Fleiner's analysis, and (newly) prove both the strategy-proofness of the manoptimal stable mechanism in infinite markets and an infinite-market version of Nguyen and Vohra's existence result for near-feasible stable matchings with couples. In a trading-network setting, we prove that the Hatfield et al. result on existence of Walrasian equilibria extends to infinite markets. In a dynamic matching setting, we prove that Pereyra's existence result for dynamic two-sided matching markets extends to a doubly infinite time horizon. Finally, beyond existence and characterization of solutions, in a revealed-preference setting we reprove Reny's infinite-data version of Afriat's theorem and (newly) prove an infinite-data version of McFadden and Richter's characterization of rationalizable stochastic datasets.

Keywords

Markets; Analysis; Game Theory

Citation

Gonczarowski, Yannai A., Scott Duke Kominers, and Ran I. Shorrer. "To Infinity and Beyond: Scaling Economic Theories via Logical Compactness." Harvard Business School Working Paper, No. 19-127, June 2019. (Revised November 2020.)
  • SSRN
  • Read Now

About The Author

Scott Duke Kominers

Entrepreneurial Management
→More Publications

More from the Authors

    • June 2025
    • Journal of Finance

    Collusion in Brokered Markets

    By: John William Hatfield, Scott Duke Kominers and Richard Lowery
    • March 14, 2025
    • Harvard Crimson

    Harvard Students Should Ignore Calls to Boycott Israel Trek

    By: Jesse M. Fried, Paul A. Gompers, Scott Kominers and Mark C. Poznansky
    • March 2025
    • Faculty Research

    O2X: Optimizing to the X

    By: Scott Duke Kominers, Thomas Jennings and Maisie Wiltshire-Gordon
More from the Authors
  • Collusion in Brokered Markets By: John William Hatfield, Scott Duke Kominers and Richard Lowery
  • Harvard Students Should Ignore Calls to Boycott Israel Trek By: Jesse M. Fried, Paul A. Gompers, Scott Kominers and Mark C. Poznansky
  • O2X: Optimizing to the X By: Scott Duke Kominers, Thomas Jennings and Maisie Wiltshire-Gordon
ǁ
Campus Map
Harvard Business School
Soldiers Field
Boston, MA 02163
→Map & Directions
→More Contact Information
  • Make a Gift
  • Site Map
  • Jobs
  • Harvard University
  • Trademarks
  • Policies
  • Accessibility
  • Digital Accessibility
Copyright © President & Fellows of Harvard College.