IDEAS home Printed from https://ideas.repec.org/p/nbr/nberwo/22922.html
   My bibliography  Save this paper

Automated Economic Reasoning with Quantifier Elimination

Author

Listed:
  • Casey B. Mulligan

Abstract

Many theorems in economics can be proven (and hypotheses shown to be false) with “quantifier elimination.” Results from real algebraic geometry such as Tarski’s quantifier elimination theorem and Collins’ cylindrical algebraic decomposition algorithm are applicable because the economic hypotheses, especially those that leave functional forms unspecified, can be represented as systems of multivariate polynomial (sic) equalities and inequalities. The symbolic proof or refutation of economic hypotheses can therefore be achieved with an automated technique that involves no approximation and requires no problem-specific information beyond the statement of the hypothesis itself. This paper also discusses the computational complexity of this kind of automated economic reasoning, its implementation with Mathematica and REDLOG software, and offers several examples familiar from economic theory.

Suggested Citation

  • Casey B. Mulligan, 2016. "Automated Economic Reasoning with Quantifier Elimination," NBER Working Papers 22922, National Bureau of Economic Research, Inc.
    • Handle: RePEc:nbr:nberwo:22922
    Note: IO PE TWP
    as

    Download full text from publisher

    File URL: http://www.nber.org/papers/w22922.pdf
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Andrés Carvajal & Rahul Deb & James Fenske & John Quah, 2014. "A nonparametric analysis of multi-product oligopolies," Economic Theory, Springer;Society for the Advancement of Economic Theory (SAET), vol. 57(2), pages 253-277, October.
    2. Acemoglu,Daron & Robinson,James A., 2009. "Economic Origins of Dictatorship and Democracy," Cambridge Books, Cambridge University Press, number 9780521671422, September.
    3. Donald Brown & Felix Kubler, 2008. "Computational Aspects of General Equilibrium Theory," Lecture Notes in Economics and Mathematical Systems, Springer, number 978-3-540-76591-2, October.
    4. Chambers,Christopher P. & Echenique,Federico, 2016. "Revealed Preference Theory," Cambridge Books, Cambridge University Press, number 9781107087804, September.
    5. E. Glen Weyl & Michal Fabinger, 2013. "Pass-Through as an Economic Tool: Principles of Incidence under Imperfect Competition," Journal of Political Economy, University of Chicago Press, vol. 121(3), pages 528-583.
    6. Casey B. Mulligan & Kevin K. Tsui, 2016. "The Upside-down Economics of Regulated and Otherwise Rigid Prices," NBER Working Papers 22305, National Bureau of Economic Research, Inc.
    7. Charles Steinhorn, 2008. "Tame Topology and O-Minimal Structures," Lecture Notes in Economics and Mathematical Systems, in: Computational Aspects of General Equilibrium Theory, pages 165-191, Springer.
    8. Donald J. Brown & Rosa L. Matzkin, 2008. "Testable Restrictions on the Equilibrium Manifold," Lecture Notes in Economics and Mathematical Systems, in: Computational Aspects of General Equilibrium Theory, pages 11-25, Springer.
    9. Susan K. Snyder, 2000. "Nonparametric Testable Restrictions of Household Behavior," Southern Economic Journal, John Wiley & Sons, vol. 67(1), pages 171-185, July.
    10. Anthony Downs, 1957. "An Economic Theory of Political Action in a Democracy," Journal of Political Economy, University of Chicago Press, vol. 65(2), pages 135-135.
    11. Donald J. Brown & Felix Kubler, 2008. "Refutable Theories of Value," Lecture Notes in Economics and Mathematical Systems, in: Computational Aspects of General Equilibrium Theory, pages 1-10, Springer.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Casey B. Mulligan, 2018. "Quantifier Elimination for Deduction in Econometrics," NBER Working Papers 24601, National Bureau of Economic Research, Inc.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Casey B. Mulligan, 2018. "Quantifier Elimination for Deduction in Econometrics," NBER Working Papers 24601, National Bureau of Economic Research, Inc.
    2. Deb, Rahul, 2009. "A testable model of consumption with externalities," Journal of Economic Theory, Elsevier, vol. 144(4), pages 1804-1816, July.
    3. Deb, Rahul, 2008. "Interdependent Preferences, Potential Games and Household Consumption," MPRA Paper 6818, University Library of Munich, Germany.
    4. Christopher P. Chambers & Federico Echenique & Eran Shmaya, 2014. "The Axiomatic Structure of Empirical Content," American Economic Review, American Economic Association, vol. 104(8), pages 2303-2319, August.
    5. Donald J. Brown, 2012. "Notes on Computational Complexity of GE Inequalities," Cowles Foundation Discussion Papers 1865R, Cowles Foundation for Research in Economics, Yale University, revised Aug 2012.
    6. Donald Brown, 2012. "Notes on Computational Complexity of GE Inequalities," Levine's Working Paper Archive 786969000000000537, David K. Levine.
    7. Kubler, Felix & Schmedders, Karl, 2010. "Competitive equilibria in semi-algebraic economies," Journal of Economic Theory, Elsevier, vol. 145(1), pages 301-330, January.
    8. Syed Mansoob Murshed & Muhammad Badiuzzaman & Mohammad Habibullah Pulok, 2017. "Fiscal capacity and social protection expenditure in developing nations," WIDER Working Paper Series wp-2017-60, World Institute for Development Economic Research (UNU-WIDER).
    9. Pies Ingo & Wockenfuß Christof, 2008. "Armutsbekämpfung versus Demokratieförderung: Wie lässt sich der entwicklungspolitische Trade-Off überwinden? / Poverty reduction versus democracy promotion? How to overcome the trade-off in developmen," ORDO. Jahrbuch für die Ordnung von Wirtschaft und Gesellschaft, De Gruyter, vol. 59(1), pages 405-440, January.
    10. Dalibor Eterovic & Nicolas Eterovic, 2010. "Political Competition vs. PoliticalParticipation: Effects on Government's Size," Working Papers wp_006, Adolfo Ibáñez University, School of Government.
    11. Carvajal, Andres & Ray, Indrajit & Snyder, Susan, 2004. "Equilibrium behavior in markets and games: testable restrictions and identification," Journal of Mathematical Economics, Elsevier, vol. 40(1-2), pages 1-40, February.
    12. Campante, Filipe R., 2011. "Redistribution in a model of voting and campaign contributions," Journal of Public Economics, Elsevier, vol. 95(7-8), pages 646-656, August.
    13. Anat Bracha & Donald J. Brown, 2007. "Affective Decision Making: A Behavioral Theory of Choice," Cowles Foundation Discussion Papers 1633R, Cowles Foundation for Research in Economics, Yale University, revised Apr 2009.
    14. Jinhui H. Bai & Roger Lagunoff, 2013. "Revealed Political Power," International Economic Review, Department of Economics, University of Pennsylvania and Osaka University Institute of Social and Economic Research Association, vol. 54(4), pages 1085-1115, November.
    15. Dodlova, Marina & Giolbas, Anna, 2015. "Regime Type, Inequality, and Redistributive Transfers in Developing Countries," GIGA Working Papers 273, GIGA German Institute of Global and Area Studies.
    16. Jacek Lewkowicz & Katarzyna Metelska-Szaniawska, 2016. "De jure and de facto institutions – disentangling the interrelationships," Working Papers 2016-29, Faculty of Economic Sciences, University of Warsaw.
    17. Syed Mansoob Murshed & Muhammad Badiuzzaman & Mohammad Habibullah Pulok, 2017. "Fiscal capacity and social protection expenditure in developing nations," WIDER Working Paper Series 060, World Institute for Development Economic Research (UNU-WIDER).
    18. Aidt, Toke S. & Eterovic, Dalibor S., 2011. "Political competition, electoral participation and public finance in 20th century Latin America," European Journal of Political Economy, Elsevier, vol. 27(1), pages 181-200, March.
    19. H.E. Goemans, 2008. "Which Way Out?," Journal of Conflict Resolution, Peace Science Society (International), vol. 52(6), pages 771-794, December.
    20. Stadelmann, David & Portmann, Marco & Eichenberger, Reiner, 2015. "Military careers of politicians matter for national security policy," Journal of Economic Behavior & Organization, Elsevier, vol. 116(C), pages 142-156.

    More about this item

    JEL classification:

    • B41 - Schools of Economic Thought and Methodology - - Economic Methodology - - - Economic Methodology
    • C63 - Mathematical and Quantitative Methods - - Mathematical Methods; Programming Models; Mathematical and Simulation Modeling - - - Computational Techniques
    • C65 - Mathematical and Quantitative Methods - - Mathematical Methods; Programming Models; Mathematical and Simulation Modeling - - - Miscellaneous Mathematical Tools

    NEP fields

    This paper has been announced in the following NEP Reports:

    Statistics

    Access and download statistics

    Corrections

    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:nbr:nberwo:22922. See general information about how to correct material in RePEc.

    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 bibliographic 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.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: the person in charge (email available below). General contact details of provider: https://edirc.repec.org/data/nberrus.html .

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

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.