We provide a revealed preference analysis of the transferable utility hypothesis, which is widely used in economic models. First, we establish revealed preference conditions that must be satisfied for observed group behavior to be consistent with Pareto efficiency under transferable utility....

Focusing on the testable implications on the equilibrium manifold, we show that the rationalizability problem is NP-complete. Subsequently, we present an integer programming (IP) approach to characterizing general equilibrium models. This approach avoids the use of the Tarski-Seidenberg...