Open coloring axiom (original) (raw)

In the field of mathematics called set theory, the open coloring axiom (abbreviated OCA) is an axiom about coloring edges of a graph whose vertices are a subset of the real numbers: two different versions were introduced by and by . The open coloring axiom follows from the proper forcing axiom.