In economies with uncertain delivery, agents trade their endowments for lists instead of bundles. A list specifies a set of bundles such that the agent has the right to receive one of them. In this paper, with continuity conditions on private beliefs about the bundle that will be delivered, we...

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