Prudent Expectations Equilibrium in Economies with Uncertain Delivery

In an economy with private information, we introduce the notion of objects of choice as lists of bundles out of which the market selects one for delivery. This leads to an extension of the model of Arrow-Debreu that is used to study ex-ante trade with private state verification. The model does not require agents to have complete information about the space of states, being suited to a context of Knightian uncertainty. Under the assumption that agents are prudent, equilibrium is characterized by the fact that agents consume bundles with the same utility in states that they do not distinguish.