3 citations · 6 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.LO2023
On inverse Goodstein sequences
Patrick Uftring
In the late 1980s, Abrusci, Girard and van de Wiele defined a variant of Goodstein sequences: the so-called inverse Goodstein sequence. In their work, they show that it terminates…
math.LO2023
Weihrauch degrees without roots
Patrick Uftring
We answer the following question by Arno Pauly: "Is there a square-root operator on the Weihrauch degrees?". In fact, we show that there are uncountably many pairwise incomparable…