101 citations · 491 across the 53 of their papers we have counts for
Showing 2020 · math.LOShow all
3 papers · 2 filters
math.LO2020★ 11 cited
Finding descending sequences through ill-founded linear orders
Jun Le Goh, Arno Pauly, Manlio Valenti
In this work we investigate the Weihrauch degree of the problem of finding an infinite descending sequence through a given ill-founded linear order, which is shared b…
math.LO2020
Luzin's (N) and randomness reflection
Arno Pauly, Linda Westrick, Liang Yu
We show that a computable function has Luzin's property (N) if and only if it reflects -randomnes, if and only if it reflects $Δ^1_1(\mathc…
math.LO2020★ 4 cited
The open and clopen Ramsey theorems in the Weihrauch lattice
Alberto Marcone, Manlio Valenti
We investigate the uniform computational content of the open and clopen Ramsey theorems in the Weihrauch lattice. While they are known to be equivalent to from the…