9 citations · 16 across the 11 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.LO2024
On Nash-Williams' Theorem regarding sequences with finite range
Fedor Pakhomov, Giovanni Soldà
The famous theorem of Higman states that for any well-quasi-order (wqo) the embeddability order on finite sequences over is also wqo. In his celebrated 1965 paper, Nash-Wil…
math.LO2024★ 1 cited
Sequential discontinuity and first-order problems
Arno Pauly, Giovanni Soldà
We explore the low levels of the structure of the continuous Weihrauch degrees of first-order problems. In particular, we show that there exists a minimal discontinuous first-order…