Freund, Anton; Rathjen, Michael; Weiermann, Andreas Minimal bad sequences are necessary for a uniform Kruskal theorem. (English) Zbl 07507731 Adv. Math. 400, Article ID 108265, 44 p. (2022). MSC: 03B30 05C05 06A07 68Q42 03F35 PDFBibTeX XMLCite \textit{A. Freund} et al., Adv. Math. 400, Article ID 108265, 44 p. (2022; Zbl 07507731) Full Text: DOI arXiv
Rathjen, Michael; Van der Meeren, Jeroen; Weiermann, Andreas Ordinal notation systems corresponding to Friedman’s linearized well-partial-orders with gap-condition. (English) Zbl 1417.03292 Arch. Math. Logic 56, No. 5-6, 607-638 (2017). MSC: 03F15 03E10 06A06 PDFBibTeX XMLCite \textit{M. Rathjen} et al., Arch. Math. Logic 56, No. 5--6, 607--638 (2017; Zbl 1417.03292) Full Text: DOI arXiv Link
Van der Meeren, Jeroen; Rathjen, Michael; Weiermann, Andreas An order-theoretic characterization of the Howard-Bachmann-hierarchy. (English) Zbl 1421.03005 Arch. Math. Logic 56, No. 1-2, 79-118 (2017). MSC: 03B30 03E10 03E35 03F03 03F05 03F15 03F35 06A06 PDFBibTeX XMLCite \textit{J. Van der Meeren} et al., Arch. Math. Logic 56, No. 1--2, 79--118 (2017; Zbl 1421.03005) Full Text: DOI arXiv
Van der Meeren, Jeroen; Rathjen, Michael; Weiermann, Andreas Well-partial-orderings and the big Veblen number. (English) Zbl 1378.03041 Arch. Math. Logic 54, No. 1-2, 193-230 (2015). MSC: 03F15 03E10 06A06 PDFBibTeX XMLCite \textit{J. Van der Meeren} et al., Arch. Math. Logic 54, No. 1--2, 193--230 (2015; Zbl 1378.03041) Full Text: DOI Link