Abstract
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.
Citation
James D. Sharp. Simon Thomas. "Uniformization Problems and the Cofinality of the Infinite Symmetric Group." Notre Dame J. Formal Logic 35 (3) 328 - 345, /Summer 1994. https://doi.org/10.1305/ndjfl/1040511341
Information