arXiv:2401.11807 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords ill-founded linear order, finding descending sequences, non-well quasi order, main open question, mistaken claim Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset