Cauchy Nets and Open Colorings


Ilijas Farah


The Open Coloring Axiom, OCA, (see [6]) is used to prove that $\Bbb R^{\Bbb N}$ equipped with a natural uniform structure is complete, answering a question from [3].