arXiv:2011.13218 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords formalising ordinal partition relations, proof assistant isabelle/hol, zermelo-fraenkel set theory, research results, infinitary combinatorics Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset