 In cardinal arithmetic, PFA implies formula_5.PFA implies any two formula_6-dense subsets of R are isomorphic, any two Aronszajn trees are club-isomorphic, and every automorphism of the Boolean algebra formula_7/fin is trivial.PFA implies that the Singular Cardinals Hypothesis holds.