O Open Coloring Axiom (OCA) é um axioma de teoria dos conjuntos que não pertence à lista padrão ZFC. Seu estudo envolve diversas aplicações em vários contextos, entre elas, podem ser citados os estudos da própria consistência de OCA com ZFC, resultados sobre subconjuntos dos reais (que podem ser generalizados para espaços métricos separáveis) e álgebras Booleanas. Além disso, o projeto se…