Testable Restrictions on the Equilibrium Manifold
给出了一组关于不可观测变量和市场数据的多项式不等式，市场数据必须满足这些不等式才能与纯交换经济的均衡行为一致，并利用量词消去推导出有限数据集上的可检验命题。
We present a finite 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. Quantifier elimination is used to derive testable propositions on finite data sets for the pure trade model.