We introduce a two-period economy with asymmetric information about the state of nature that occurs in the second period. Each agent is endowed with an information structure that describes her (incomplete) ability to prove whether or not a state has occurred. We show that if the number of states...

Private state-verification is introduced in a two-period economy with spot markets in both periods and complete futures markets for contingent delivery in the second period. Existence of equilibrium is established, under standard assumptions. The equilibrium allocation is shown to be generically...

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

We propose the notion of objects of choice as uncertain consumption bundles, extending the formulation of Arrow (1953). Agents sign “contracts for uncertain delivery”, which specify a list of alternative bundles, instead of a single one. This allows us to incorporate uncertainty and...

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

We investigate the continuity of equilibrium in differential information economies with a finite number of agents. In this setting, agents can make contingent contracts based on events that are commonly observed. With private information modelled as finite partitions of a compact and metrizable...

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