IDEAS home Printed from
   My bibliography  Save this paper

To Infinity and Beyond: Scaling Economic Theories via Logical Compactness


  • Yannai A. Gonczarowski
  • Scott Duke Kominers
  • Ran I. Shorrer


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 rely on edge effects or artificial boundary conditions. Here, we present a unified method that enables us to remove finiteness assumptions, such as those on datasets, market sizes, and time horizons. We then apply our approach to a variety of revealed preference, matching, and exchange economy settings. The key to our approach is Logical Compactness, a core result from Propositional Logic. Building on Logical Compactness, 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. In a matching setting, we reprove large-market existence results implied by Fleiner's analysis, and prove both the strategy-proofness of the man-optimal 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. Finally, we prove that Pereyra's existence result for dynamic two-sided matching markets extends to a doubly-infinite time horizon.

Suggested Citation

  • Yannai A. Gonczarowski & Scott Duke Kominers & Ran I. Shorrer, 2019. "To Infinity and Beyond: Scaling Economic Theories via Logical Compactness," Papers 1906.10333,, revised Mar 2020.
  • Handle: RePEc:arx:papers:1906.10333

    Download full text from publisher

    File URL:
    File Function: Latest version
    Download Restriction: no

    References listed on IDEAS

    1. John William Hatfield & Scott Duke Kominers & Alexandru Nichifor & Michael Ostrovsky & Alexander Westkamp, 2013. "Stability and Competitive Equilibrium in Trading Networks," Journal of Political Economy, University of Chicago Press, vol. 121(5), pages 966-1005.
    2. Sangram V. Kadam & Maciej H. Kotowski, 2018. "Multiperiod Matching," International Economic Review, Department of Economics, University of Pennsylvania and Osaka University Institute of Social and Economic Research Association, vol. 59(4), pages 1927-1947, November.
    3. Tamás Fleiner, 2003. "A Fixed-Point Approach to Stable Matchings and Some Applications," Mathematics of Operations Research, INFORMS, vol. 28(1), pages 103-126, February.
    4. Kadam, Sangram V. & Kotowski, Maciej H., 2015. "Multi-period Matching," Working Paper Series rwp15-030, Harvard University, John F. Kennedy School of Government.
    5. Philipp Kircher, 2009. "Efficiency of Simultaneous Search," Journal of Political Economy, University of Chicago Press, vol. 117(5), pages 861-913, October.
    6. Chambers,Christopher P. & Echenique,Federico, 2016. "Revealed Preference Theory," Cambridge Books, Cambridge University Press, number 9781107087804, April.
    7. Georg Nöldeke & Larry Samuelson, 2018. "The Implementation Duality," Econometrica, Econometric Society, vol. 86(4), pages 1283-1324, July.
    8. Pereyra, Juan Sebastián, 2013. "A dynamic school choice model," Games and Economic Behavior, Elsevier, vol. 80(C), pages 100-114.
    9. Azevedo, Eduardo M. & Weyl, E. Glen & White, Alexander, 2013. "Walrasian equilibrium in large, quasi-linear markets," Theoretical Economics, Econometric Society, vol. 8(2), May.
    10. Roth, Alvin E, 1984. "The Evolution of the Labor Market for Medical Interns and Residents: A Case Study in Game Theory," Journal of Political Economy, University of Chicago Press, vol. 92(6), pages 991-1016, December.
    11. Gretsky, Neil E & Ostroy, Joseph M & Zame, William R, 1992. "The Nonatomic Assignment Model," Economic Theory, Springer;Society for the Advancement of Economic Theory (SAET), vol. 2(1), pages 103-127, January.
    12. Yeon‐Koo Che & Jinwoo Kim & Fuhito Kojima, 2019. "Stable Matching in Large Economies," Econometrica, Econometric Society, vol. 87(1), pages 65-110, January.
    13. Duggan, John, 1999. "A General Extension Theorem for Binary Relations," Journal of Economic Theory, Elsevier, vol. 86(1), pages 1-16, May.
    14. Fuhito Kojima & Parag A. Pathak, 2009. "Incentives and Stability in Large Two-Sided Matching Markets," American Economic Review, American Economic Association, vol. 99(3), pages 608-627, June.
    15. John William Hatfield & Paul R. Milgrom, 2005. "Matching with Contracts," American Economic Review, American Economic Association, vol. 95(4), pages 913-935, September.
    16. Gretsky, Neil E. & Ostroy, Joseph M. & Zame, William R., 1999. "Perfect Competition in the Continuous Assignment Model," Journal of Economic Theory, Elsevier, vol. 88(1), pages 60-118, September.
    17. Ziv Hellman & Yehuda John Levy, 2019. "Measurable Selection for Purely Atomic Games," Econometrica, Econometric Society, vol. 87(2), pages 593-629, March.
    18. S. Nageeb Ali & Ce Liu, 2019. "Conventions and Coalitions in Repeated Games," Papers 1906.00280,, revised Jan 2020.
    19. Mas-Colell, Andreu & Whinston, Michael D. & Green, Jerry R., 1995. "Microeconomic Theory," OUP Catalogue, Oxford University Press, number 9780195102680.
    Full references (including those not matched with items on IDEAS)

    More about this item

    NEP fields

    This paper has been announced in the following NEP Reports:


    Access and download statistics


    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:arx:papers:1906.10333. See general information about how to correct material in RePEc.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (arXiv administrators). General contact details of provider: .

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service hosted by the Research Division of the Federal Reserve Bank of St. Louis . RePEc uses bibliographic data supplied by the respective publishers.