Aguilera, J. P.; Pakhomov, F.; Weiermann, A. Functorial fast-growing hierarchies. (English) Zbl 07801005 Forum Math. Sigma 12, Paper No. e15, 16 p. (2024). MSC: 03B30 03F15 03F35 18A15 18B35 PDFBibTeX XMLCite \textit{J. P. Aguilera} et al., Forum Math. Sigma 12, Paper No. e15, 16 p. (2024; Zbl 07801005) Full Text: DOI arXiv OA License
Arai, Toshiyasu; Wainer, Stanley S.; Weiermann, Andreas Goodstein sequences based on a parametrized Ackermann-Péter function. (English) Zbl 07396324 Bull. Symb. Log. 27, No. 2, 168-186 (2021). MSC: 03F15 03F25 03F30 03F35 03D55 PDFBibTeX XMLCite \textit{T. Arai} et al., Bull. Symb. Log. 27, No. 2, 168--186 (2021; Zbl 07396324) Full Text: DOI
Arai, Toshiyasu; Fernández-Duque, David; Wainer, Stanley; Weiermann, Andreas Predicatively unprovable termination of the Ackermannian Goodstein process. (English) Zbl 1484.03125 Proc. Am. Math. Soc. 148, No. 8, 3567-3582 (2020). MSC: 03F40 03D20 03D60 03F30 PDFBibTeX XMLCite \textit{T. Arai} et al., Proc. Am. Math. Soc. 148, No. 8, 3567--3582 (2020; Zbl 1484.03125) Full Text: DOI arXiv
Weiermann, Andreas; Van Hoof, Wim Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension. (English) Zbl 1291.03113 Proc. Am. Math. Soc. 140, No. 8, 2913-2927 (2012). Reviewer: Roman Murawski (Poznań) MSC: 03F30 03D20 03C62 05D10 PDFBibTeX XMLCite \textit{A. Weiermann} and \textit{W. Van Hoof}, Proc. Am. Math. Soc. 140, No. 8, 2913--2927 (2012; Zbl 1291.03113) Full Text: DOI
Gordeev, Lev; Weiermann, Andreas Phase transitions of iterated Higman-style well-partial-orderings. (English) Zbl 1251.03076 Arch. Math. Logic 51, No. 1-2, 127-161 (2012). MSC: 03F30 03F03 03F35 05A16 06A07 PDFBibTeX XMLCite \textit{L. Gordeev} and \textit{A. Weiermann}, Arch. Math. Logic 51, No. 1--2, 127--161 (2012; Zbl 1251.03076) Full Text: DOI
Weiermann, Andreas Phase transitions for Gödel incompleteness. (English) Zbl 1165.03048 Ann. Pure Appl. Logic 157, No. 2-3, 281-296 (2009). Reviewer: M. Yasuhara (Princeton) MSC: 03F30 03F15 03F40 05A16 PDFBibTeX XMLCite \textit{A. Weiermann}, Ann. Pure Appl. Logic 157, No. 2--3, 281--296 (2009; Zbl 1165.03048) Full Text: DOI
Kotlarski, Henryk; Piekart, Bożena; Weiermann, Andreas More on lower bounds for partitioning \(\alpha\)-large sets. (English) Zbl 1123.03043 Ann. Pure Appl. Logic 147, No. 3, 113-126 (2007). MSC: 03E05 03F15 05A18 05D10 PDFBibTeX XMLCite \textit{H. Kotlarski} et al., Ann. Pure Appl. Logic 147, No. 3, 113--126 (2007; Zbl 1123.03043) Full Text: DOI
Weiermann, Andreas Classifying the provably total functions of PA. (English) Zbl 1118.03053 Bull. Symb. Log. 12, No. 2, 177-190 (2006). MSC: 03F30 03D20 03F05 03F15 PDFBibTeX XMLCite \textit{A. Weiermann}, Bull. Symb. Log. 12, No. 2, 177--190 (2006; Zbl 1118.03053) Full Text: DOI
Weiermann, Andreas Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results. (English) Zbl 1090.03028 Ann. Pure Appl. Logic 136, No. 1-2, 189-218 (2005). MSC: 03F15 03F30 03E05 PDFBibTeX XMLCite \textit{A. Weiermann}, Ann. Pure Appl. Logic 136, No. 1--2, 189--218 (2005; Zbl 1090.03028) Full Text: DOI
Weiermann, Andreas How is it that infinitary methods can be applied to finitary mathematics? Gödel’s \(T\): A case study. (English) Zbl 0928.03066 J. Symb. Log. 63, No. 4, 1348-1370 (1998). Reviewer: G.Mints (Stanford) MSC: 03F35 PDFBibTeX XMLCite \textit{A. Weiermann}, J. Symb. Log. 63, No. 4, 1348--1370 (1998; Zbl 0928.03066) Full Text: DOI