COWLES FOUNDATION FOR RESEARCH IN ECONOMICS
AT YALE UNIVERSITY

Box 208281
New Haven, CT 06520-8281

Lux et veritas

COWLES FOUNDATION DISCUSSION PAPER NO. 1109

Testable Restrictions on the Equilibrium Manifold

Donald J. Brown and Rosa L. Matzkin

August 1995

    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.