100 citations · 264 across the 34 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
math.LO2015
The logic of the reverse mathematics zoo
Giovanna D'Agostino, Alberto Marcone
Building on previous work by Mummert, Saadaoui and Sovine, we study the logic underlying the web of implications and nonimplications which constitute the so called reverse mathemat…
math.LO2015★ 6 cited
Reverse mathematics, well-quasi-orders, and Noetherian spaces
Emanuele Frittaion, Matt Hendtlass, Alberto Marcone +2
A quasi-order induces two natural quasi-orders on , but if is a well-quasi-order, then these quasi-orders need not necessarily be well-quasi-orders. Nevertheless, Gou…