Becker Friedman Institute
for Research in Economics
The University of Chicago

Research. Insights. Impact. Advancing the Legacy of Chicago Economics.

C63: Computational Techniques and Simulation Modeling

Automated Economic Reasoning with Quantifier Elimination

Casey Mulligan

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.