100 citations · 264 across the 34 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
math.LO2010★ 8 cited
The maximal linear extension theorem in second order arithmetic
Alberto Marcone, Richard A. Shore
We show that the maximal linear extension theorem for well partial orders is equivalent over RCA_0 to ATR_0. Analogously, the maximal chain theorem for well partial orders is equiv…
math.LO2010★ 12 cited
Invariantly universal analytic quasi-orders
Riccardo Camerlo, Alberto Marcone, Luca Motto Ros
We introduce the notion of an invariantly universal pair (S,E) where S is an analytic quasi-order and E \subseteq S is an analytic equivalence relation. This means that for any ana…