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 introduce an ordinal model of efficiency measurement. Our primitive is a notion of e ciency that is comparative, but not cardinal or absolute. In this framework, we postulate axioms that we believe an ordinal efficiency measure should satisfy. Primary among these are choice consistency and...