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

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. 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..
    2. 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.
    3. Heckman, James J & Honore, Bo E, 1990. "The Empirical Content of the Roy Model," Econometrica, Econometric Society, vol. 58(5), pages 1121-1149, September.
    4. 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.
    5. 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.
    6. Gronau, Reuben, 1974. "Wage Comparisons-A Selectivity Bias," Journal of Political Economy, University of Chicago Press, vol. 82(6), pages 1119-1143, Nov.-Dec..
    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. 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.
    9. George J. Borjas, 1994. "The Economics of Immigration," Journal of Economic Literature, American Economic Association, vol. 32(4), pages 1667-1717, December.
    10. 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.
    11. Casey B. Mulligan, 2016. "Automated Economic Reasoning with Quantifier Elimination," NBER Working Papers 22922, National Bureau of Economic Research, Inc.
    12. 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.
    13. Milton Friedman, 1957. "A Theory of the Consumption Function," NBER Books, National Bureau of Economic Research, Inc, number frie57-1, June.
    14. Susan K. Snyder, 2000. "Nonparametric Testable Restrictions of Household Behavior," Southern Economic Journal, John Wiley & Sons, vol. 67(1), pages 171-185, July.
    15. Heckman, James, 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.
    16. 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, December.
    17. 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.
    18. Chambers,Christopher P. & Echenique,Federico, 2016. "Revealed Preference Theory," Cambridge Books, Cambridge University Press, number 9781107087804, July.
    19. Susan K. Snyder, 2000. "Nonparametric Testable Restrictions of Household Behavior," Southern Economic Journal, Southern Economic Association, vol. 67(1), pages 171-185, July.
    20. 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.
    21. 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.
    22. Kerber, Manfred & Lange, Christoph & Rowat, Colin, 2016. "An introduction to mechanized reasoning," Journal of Mathematical Economics, Elsevier, vol. 66(C), pages 26-39.
    23. 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.
    24. 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.
    25. 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.
    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 Feb 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. 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.
    5. 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.
    6. 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.
    7. 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.
    8. Carvajal, Andrés, 2024. "Recent advances on testability in economic equilibrium models," Journal of Mathematical Economics, Elsevier, vol. 114(C).
    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. Jonathan Gruber & Aaron Yelowitz, 1999. "Public Health Insurance and Private Savings," Journal of Political Economy, University of Chicago Press, vol. 107(6), pages 1249-1274, December.
    11. Riillo, Cesare Fabio Antonio & Peroni, Chiara, 2022. "Immigration and entrepreneurship in Europe: cross-country evidence," MPRA Paper 114580, University Library of Munich, Germany.
    12. Verbeek, M.J.C.M. & Nijman, T.E., 1992. "Incomplete panels and selection bias : A survey," Discussion Paper 1992-7, Tilburg University, Center for Economic Research.
    13. Navarro, Salvador & Zhou, Jin, 2024. "Human capital and migration: A cautionary tale," Journal of Econometrics, Elsevier, vol. 243(1).
    14. Geweke, J. & Joel Horowitz & Pesaran, M.H., 2006. "Econometrics: A Bird’s Eye View," Cambridge Working Papers in Economics 0655, Faculty of Economics, University of Cambridge.
    15. Uebelmesser Silke, 2006. "To Go or Not to Go: Emigration from Germany," German Economic Review, De Gruyter, vol. 7(2), pages 211-231, May.
    16. 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.
    17. 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).
    18. Claudia Olivetti & Barbara Petrongolo, 2008. "Unequal Pay or Unequal Employment? A Cross-Country Analysis of Gender Gaps," Journal of Labor Economics, University of Chicago Press, vol. 26(4), pages 621-654, October.
    19. Turner, Tracy M. & Luea, Heather, 2009. "Homeownership, wealth accumulation and income status," Journal of Housing Economics, Elsevier, vol. 18(2), pages 104-114, June.
    20. Andrea Moro & Sebastian Tello‐Trillo & Tommaso Tempesti, 2019. "The Impact of Obesity on Wages: The Role of Personal Interactions and Job Selection," LABOUR, CEIS, vol. 33(2), pages 125-146, 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.