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 introduce a new notion of rational expectations equilibrium (REE) called maximin rational expectations equilibrium (MREE), which is based on the maximin expected utility (MEU) formulation. In particular, agents maximize maximin expected utility conditioned on their own private information and...

We show that a rational expectations equilibrium need not be incentive compatible, need not be implementable as a perfect Bayesian equilibrium and may not be fully Pareto optimal, unless the utility functions are state independent. A comparison of rational expectations equilibria with core...