1 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
math.LO2023
Provable better quasi orders
Anton Freund, Alberto Marcone, Fedor Pakhomov +1
It has recently been shown that fairly strong axiom systems such as cannot prove that the antichain with three elements is a better quasi order (). I…
math.LO2023★ 1 cited
The logical strength of minimal bad arrays
Anton Freund, Fedor Pakhomov, Giovanni Soldà
This paper studies logical aspects of the notion of better quasi order, which has been introduced by C. Nash-Williams (Mathematical Proceedings of the Cambridge Philosophical Socie…