research
∙
10/08/2020
Finding descending sequences through ill-founded linear orders
In this work we investigate the Weihrauch degree of the problem 𝖣𝖲 of fi...
share
research
∙
06/28/2019
