We generalize the standard revealed preference exercise in economics, and prove a sufficient condition under which the revealed preference formulation of an economic theory has universal implications and when these implications can be recursively enumerated. We apply our theorem to two theories...

We study the behavioral definition of complementary goods: if the price of one good increases, demand for a complementary good must decrease. We obtain its full implications for observable demand behavior (its testable implications), and for the consumer's underlying preferences. We characterize...

We present a nonparametric "revealed-preference test" for gross substitutes in demand for two goods. (JEL D01, D11)

We define the empirical content of an economic theory as the least restrictive observationally equivalent theory. We show that the empirical content of a theory is captured by a certain kind of axiomatization, with axioms that are universal negations of conjunctions of atomic formulae.

We generalize the standard revealed preference exercise in economics, and prove a sufficient condition under which the revealed preference formulation of an economic theory has universal implications and when these implications can be recursively enumerated. We apply our theorem to two theories...