We present a ﬁnite system of polynomial inequalities in unobservable variables and market data that observations on market prices, individual incomes and aggregate endowments must satisfy to be consistent with the equilibrium behavior of some pure trade economy. Quantiﬁer elimination is used to derive testable propositions on ﬁnite data sets for the pure trade model.
Brown, Donald J. and Matzkin, Rosa L., "Testable Restrictions on the Equilibrium Manifold" (1995). Cowles Foundation Discussion Papers. 1352.