The weakness of finding descending sequences in ill-founded linear orders - Jun Le Goh; Arno Pauly; Manlio Valenti (2024)