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

In many real-life decisions, either information about alternatives is missing, or decision makers have limited cognitive capacity to go through all alternatives. To capture these situations, we propose and axiomatically characterize a new descriptive search model in which a decision maker...