In a static economy with symmetric information, the informational requirements for competitive equilibrium are very weak: markets clear and each agent is rational. With asymmetric information, the solution concept of competitive equilibrium has been generalized to rational expectations equilibrium. But now common knowledge of market clearing and rationality is required. This paper proves versions of these results in a formal model of knowledge.