[Submitted on 8 Oct 2020 ( v1 ), last revised 24 Jan 2024 (this version, v3)] Title:Finding descending sequences through ill-founded linear orders Download a PDF of the paper titled Finding descending sequences through ill-founded linear orders, by Jun Le Goh and Arno Pauly and Manlio Valenti Download PDF HTML (experimental) Abstract:In this work we investigate the Weihrauch degree of the problem $\mathsf{DS}$ of finding an infinite descending sequence through a given ill-founded linear...