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

We consider a general equilibrium model of trade ex ante with differential information in which agents choose plans of state-contingent lists of bundles. Being unable to verify that the state of nature is s and not t, an agent has to accept the delivery of any bundle in the list for delivery in...