100 citations · 264 across the 34 of their papers we have counts for
Showing 1994Show all
2 papers · 1 filter
math.LO1994★ 26 cited
On the logical strength of Nash-Williams' theorem on transfinite sequences
Alberto Marcone
We show that Nash-Williams' theorem asserting that the countable transfinite sequences of elements of a better-quasi-ordering ordered by embeddability form a better-quasi-ordering…
math.LO1994
Bqo is Pi^1_2-complete
Alberto Marcone
In this paper we prove that the set of countable bqos (viewed as a subset of the Cantor space) is Pi^1_2-complete. The notion of bqo or better quasi-ordering arises from combinator…