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 denition 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 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...