We study general equilibrium with private and incomplete state verification. Trade is agreed ex ante, that is, before private information is received. It is useful to define a list of bundles as a derivative good that gives an agent the right to receive one of the bundles in the list....

The notion of uncertain delivery is extended to study exchange economies in which agents have different abilities to distinguish between goods (for example a car in good condition versus a car in bad condition). In this setting, it is useful to distinguish goods not only by their physical...

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

In economies with uncertain delivery, objects of choice are lists of bundles instead of bundles. Agents trade their endowments for lists, and it is the market that selects one of the bundles in the list for actual delivery. Knowledge of the selection mechanism allows agents to predict the bundle...