Items where authors include "Freund, 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

Freund, A and Rathjen, M (2021) Derivatives of normal functions in reverse mathematics. Annals of Pure and Applied Logic, 172 (2). 102890. ISSN 0168-0072

Freund, A (2017) Slow Reflection. Annals of Pure and Applied Logic, 168 (12). pp. 2103-2128. ISSN 0168-0072

Freund, A (2017) Proof lengths for instances of the Paris–Harrington principle. Annals of Pure and Applied Logic, 168 (7). pp. 1361-1382. ISSN 0168-0072