Abstract
The Open Coloring Axiom (OCA) is an axiom in set theory that is not a ZFC axiom. Its study involves several applications in a various contexts, among them, it is possible to mention studies regarding the consistency of OCA with the ZFC axioms, results about subsets of the real line (which can be generalized to separable metric spaces) and Boolean algebras. Furthermore, it is an objective …