The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders.

Jun Le Goh, Arno Pauly, Manlio Valenti

Browse the full CiE paper archive.