6 citations · 6 across the 3 of their papers we have counts for
3 papers
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
Michael Rathjen, Jeroen Van der Meeren, Andreas Weiermann
In this article we investigate whether the addition-free theta functions form a canonical notation system for the linear versions of Friedman's well-partial-orders with the so-call…
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…
An order-theoretic characterization of the Howard-Bachmann-hierarchy
Jeroen Van der Meeren, Michael Rathjen, Andreas Weiermann
In this article we provide an intrinsic characterization of the famous Howard-Bachmann ordinal in terms of a natural well-partial-ordering by showing that this ordinal can be reali…