9 citations · 16 across the 11 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
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…
cs.LO2023★ 2 cited
On the Weihrauch degree of the additive Ramsey theorem
Arno Pauly, Cécilia Pradic, Giovanni Solda
We characterize the strength, in terms of Weihrauch degrees, of certain problems related to Ramsey-like theorems concerning colourings of the rationals and of the natural numbers.…