Jeroen Van der Meeren, Michael Rathjen, Andreas Weiermann. An order-theoretic characterization of the Howard-Bachmann-hierarchy. Arch. Math. Log., 56(1-2):79-118, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.