Items where authors include "Weiermann, A"

Article

Aguilera, JP, Freund, A, Rathjen, M orcid.org/0000-0003-1699-4778 et al. (1 more author) (2022) Boundedness theorems for flowers and sharps. Proceedings of the American Mathematical Society, 150 (9). pp. 3973-3988. ISSN 0002-9939

Freund, A, Rathjen, M orcid.org/0000-0003-1699-4778 and Weiermann, A (2022) Minimal bad sequences are necessary for a uniform Kruskal theorem. Advances in Mathematics, 400. 108265. ISSN 0001-8708

Aguilera, JP, Freund, A, Rathjen, M orcid.org/0000-0003-1699-4778 et al. (1 more author) (2021) Ackermann and Goodstein go functorial. Pacific Journal of Mathematics, 313 (2). pp. 251-291. ISSN 0030-8730

Rathjen, M, Van Der Meeren, J and Weiermann, A (2017) Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition. Archive for Mathematical Logic, 56 (5-6). pp. 607-638. ISSN 0933-5846

Van der Meeren, J, Rathjen, M and Weiermann, A (2017) An order-theoretic characterization of the Howard-Bachmann-hierarchy. Archive for Mathematical Logic, 56 (1). pp. 79-118. ISSN 0933-5846

Van der Meeren, J, Rathjen, M and Weiermann, A (2014) Well-partial-orderings and the big Veblen number. Archive for Mathematical Logic. ISSN 0933-5846

Friedman, S-D, Rathjen, M and Weiermann, A (2013) Slow consistency. Annals of Pure and Applied Logic, 164 (3). 382 - 393 (12). ISSN 0168-0072