IDEAS home Printed from https://ideas.repec.org/p/nbr/nberwo/24601.html

Quantifier Elimination for Deduction in Econometrics

Author

Listed:
  • Casey B. Mulligan

Abstract

When combined with the logical notion of partially interpreted functions, many nonparametric results in econometrics and statistics can be understood as statements about semi-algebraic sets. Tarski’s quantifier elimination (QE) theorem therefore guarantees that a universal algorithm exists for deducing such results from their assumptions. This paper presents the general framework and then applies QE algorithms to Jensen’s inequality, omitted variable bias, partial identification of the classical measurement error model, point identification in discrete choice models, and comparative statics in the nonparametric Roy model. This paper also discusses the computational complexity of real QE and its implementation in software used for program verification, logic, and computer algebra. I expect that automation will become as routine for abstract econometric reasoning as it already is for numerical matrix inversion.

Suggested Citation

  • Casey B. Mulligan, 2018. "Quantifier Elimination for Deduction in Econometrics," NBER Working Papers 24601, National Bureau of Economic Research, Inc.
    • Handle: RePEc:nbr:nberwo:24601
    Note: LS TWP
    as

    Download full text from publisher

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

    References listed on IDEAS

    as
    1. Casey B. Mulligan & Russell Bradford & James H. Davenport & Matthew England & Zak Tonks, 2018. "Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics," NBER Working Papers 24602, National Bureau of Economic Research, Inc.
    2. George J. Borjas, 2021. "The Economic Benefits from Immigration," World Scientific Book Chapters, in: Foundational Essays in Immigration Economics, chapter 13, pages 411-430, World Scientific Publishing Co. Pte. Ltd..
    3. Susan K. Snyder, 2000. "Nonparametric Testable Restrictions of Household Behavior," Southern Economic Journal, Southern Economic Association, vol. 67(1), pages 171-185, July.
    4. Milton Friedman, 1957. "Introduction to "A Theory of the Consumption Function"," NBER Chapters, in: A Theory of the Consumption Function, pages 1-6, National Bureau of Economic Research, Inc.
    5. James Heckman, 2013. "Sample selection bias as a specification error," Applied Econometrics, Russian Presidential Academy of National Economy and Public Administration (RANEPA), vol. 31(3), pages 129-137.
    6. Ismaël Mourifié & Marc Henry & Romuald Méango, 2020. "Sharp Bounds and Testability of a Roy Model of STEM Major Choices," Journal of Political Economy, University of Chicago Press, vol. 128(8), pages 3220-3283.
    7. Casey B. Mulligan, 2016. "Automated Economic Reasoning with Quantifier Elimination," NBER Working Papers 22922, National Bureau of Economic Research, Inc.
    8. Milton Friedman, 1957. "A Theory of the Consumption Function," NBER Books, National Bureau of Economic Research, Inc, number frie57-1, January-J.
    9. Li, Xiaoliang & Wang, Dongming, 2014. "Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification," Journal of Mathematical Economics, Elsevier, vol. 54(C), pages 48-58.
    10. Kerber, Manfred & Lange, Christoph & Rowat, Colin, 2016. "An introduction to mechanized reasoning," Journal of Mathematical Economics, Elsevier, vol. 66(C), pages 26-39.
    11. Heckman, James J & Honore, Bo E, 1990. "The Empirical Content of the Roy Model," Econometrica, Econometric Society, vol. 58(5), pages 1121-1149, September.
    12. Klepper, Steven & Leamer, Edward E, 1984. "Consistent Sets of Estimates for Regressions with Errors in All Variables," Econometrica, Econometric Society, vol. 52(1), pages 163-183, January.
    13. Keane, Michael & Moffitt, Robert & Runkle, David, 1988. "Real Wages over the Business Cycle: Estimating the Impact of Heterogeneity with Micro Data," Journal of Political Economy, University of Chicago Press, vol. 96(6), pages 1232-1266, December.
    14. Gronau, Reuben, 1974. "Wage Comparisons-A Selectivity Bias," Journal of Political Economy, University of Chicago Press, vol. 82(6), pages 1119-1143, Nov.-Dec..
    15. 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.
    16. Chambers,Christopher P. & Echenique,Federico, 2016. "Revealed Preference Theory," Cambridge Books, Cambridge University Press, number 9781107458116, January.
    17. 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.
    18. Casey B. Mulligan & Yona Rubinstein, 2008. "Selection, Investment, and Women's Relative Wages Over Time," The Quarterly Journal of Economics, President and Fellows of Harvard College, vol. 123(3), pages 1061-1110.
    19. Heckman, James J & Sedlacek, Guilherme, 1985. "Heterogeneity, Aggregation, and Market Wage Functions: An Empirical Model of Self-selection in the Labor Market," Journal of Political Economy, University of Chicago Press, vol. 93(6), pages 1077-1125, December.
    20. George J. Borjas, 1994. "The Economics of Immigration," Journal of Economic Literature, American Economic Association, vol. 32(4), pages 1667-1717, December.
    21. 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.
    22. 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.
    23. 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, March.
    24. Levi, Maurice D, 1973. "Errors in the Variables Bias in the Presence of Correctly Measured Variables," Econometrica, Econometric Society, vol. 41(5), pages 985-986, September.
    Full references (including those not matched with items on IDEAS)

    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, 2016. "Automated Economic Reasoning with Quantifier Elimination," NBER Working Papers 22922, National Bureau of Economic Research, Inc.
    2. Fan Wu & Yi Xin, 2024. "Estimating Nonseparable Selection Models: A Functional Contraction Approach," Papers 2411.01799, arXiv.org, revised Dec 2025.
    3. Seonho Shin, 2022. "To work or not? Wages or subsidies?: Copula-based evidence of subsidized refugees’ negative selection into employment," Empirical Economics, Springer, vol. 63(4), pages 2209-2252, October.
    4. Keane, Michael P. & Todd, Petra E. & Wolpin, Kenneth I., 2011. "The Structural Estimation of Behavioral Models: Discrete Choice Dynamic Programming Methods and Applications," Handbook of Labor Economics, in: O. Ashenfelter & D. Card (ed.), Handbook of Labor Economics, edition 1, volume 4, chapter 4, pages 331-461, Elsevier.
    5. Carvajal, Andrés, 2024. "Recent advances on testability in economic equilibrium models," Journal of Mathematical Economics, Elsevier, vol. 114(C).
    6. Juan J Dolado & Cecilia García-Peñalosa & Linas Tarasonis, 2020. "The changing nature of gender selection into employment over the great recession," Economic Policy, CEPR, CESifo, Sciences Po;CES;MSH, vol. 35(104), pages 635-677.
    7. Richard Blundell & Amanda Gosling & Hidehiko Ichimura & Costas Meghir, 2007. "Changes in the Distribution of Male and Female Wages Accounting for Employment Composition Using Bounds," Econometrica, Econometric Society, vol. 75(2), pages 323-363, March.
    8. James J. Heckman, 2005. "Micro Data, Heterogeneity and the Evaluation of Public Policy Part 2," The American Economist, Sage Publications, vol. 49(1), pages 16-44, March.
    9. Daniel Makina, 2014. "Determinants of Migrants’ Savings in the Host Country: Empirical Evidence of Migrants living in South Africa," Journal of Economics and Behavioral Studies, AMH International, vol. 6(1), pages 68-74.
    10. Ismaël Mourifié & Marc Henry & Romuald Méango, 2020. "Sharp Bounds and Testability of a Roy Model of STEM Major Choices," Journal of Political Economy, University of Chicago Press, vol. 128(8), pages 3220-3283.
    11. 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.
    12. Riillo, Cesare Fabio Antonio & Peroni, Chiara, 2022. "Immigration and entrepreneurship in Europe: cross-country evidence," MPRA Paper 114580, University Library of Munich, Germany.
    13. James J. Heckman, 2008. "Econometric Causality," International Statistical Review, International Statistical Institute, vol. 76(1), pages 1-27, April.
    14. Uebelmesser Silke, 2006. "To Go or Not to Go: Emigration from Germany," German Economic Review, De Gruyter, vol. 7(2), pages 211-231, May.
    15. Abramitzky, Ran, 2009. "The effect of redistribution on migration: Evidence from the Israeli kibbutz," Journal of Public Economics, Elsevier, vol. 93(3-4), pages 498-511, April.
    16. Gordon B. Dahl, 2002. "Mobility and the Return to Education: Testing a Roy Model with Multiple Markets," Econometrica, Econometric Society, vol. 70(6), pages 2367-2420, November.
    17. Casey B. Mulligan & Yona Rubinstein, 2004. "The Closing of the Gender Gap as a Roy Model Illusion," NBER Working Papers 10892, National Bureau of Economic Research, Inc.
    18. Hermansson, Cecilia, 2016. "Relationships between bank customers’ risk attitudes and their balance sheets," Working Paper Series 15/12, Royal Institute of Technology, Department of Real Estate and Construction Management & Banking and Finance.
    19. d’Astous, Philippe, 2019. "Responses to an anticipated increase in cash on hand: Evidence from term loan repayments," Journal of Banking & Finance, Elsevier, vol. 108(C).
    20. Turner, Tracy M. & Luea, Heather, 2009. "Homeownership, wealth accumulation and income status," Journal of Housing Economics, Elsevier, vol. 18(2), pages 104-114, June.

    More about this item

    JEL classification:

    • C01 - Mathematical and Quantitative Methods - - General - - - Econometrics
    • 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:24601. 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.