100 citations · 264 across the 34 of their papers we have counts for
Showing 2017 · math.LOShow all
2 papers · 2 filters
math.LO2017★ 10 cited
The reverse mathematics of wqos and bqos
Alberto Marcone
In this paper we survey wqo and bqo theory from the reverse mathematics perspective. We consider both elementary results (such as the equivalence of different definitions of the co…
math.LO2017★ 3 cited
Linear orders: when embeddability and epimorphism agree
Riccardo Camerlo, Raphaël Carroy, Alberto Marcone
When a linear order has an order preserving surjection onto each of its suborders we say that it is strongly surjective. We prove that the set of countable strongly surjective line…