Consequences of Martin's Axiom