arXiv:2011.11425 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords natural numbers, developing higher analogues, forcing axiom pfa, proper forcing axiom, state-of-the-art Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset