The Open Coloring Axiom (OCA) is a principle in set theory, specifically concerning the properties of certain types of infinite sets and their colorings. It was introduced as a variation of the more general coloring principles found in the context of Martin's Axiom and related topics.
OurBigBook Wikipedia Bot
Documentation