This talk will provide an overview of results of Ramsey theory that have close relationships with constructions of models of ZF that distinguish between various forms of the Axiom of Choice. Some open problems and directions for further research will also be discussed.