Valuation and Optimality in Exchange Economies with a Countable Number of Agents

We present versions of the two fundamental welfare theorems of economics for exchange economies with a countable number of agents and an infinite dimensional commodity space. These results are then specialized to the overlapping generations model.