In this paper, we study the relationship between the cofinalityc(Sym(ω)) of the infinite symmetric group and the minimal cardinality $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{b} $$ of an unbounded familyF of ω ω.

Assuming Martin's Axiom, we compute the value of the cofinality of the symmetric group on the natural numbers. We also show that Martin's Axiom does not decide the value of the covering number of a related Mycielski ideal.