Reverse mathematics, well-quasi-orders, and Noetherian spaces

Emanuele Frittaion, Matt Hendtlass, Alberto Marcone +2

A quasi-order $Q$ induces two natural quasi-orders on $P(Q)$, but if $Q$ is a well-quasi-order, then these quasi-orders need not necessarily be well-quasi-orders. Nevertheless, Gou…