| Π11-comprehension as a well-ordering principle A Freund Advances in Mathematics 355, 106767, 2019 | 22 | 2019 |
| Derivatives of normal functions in reverse mathematics A Freund, M Rathjen Annals of Pure and Applied Logic 172 (2), 102890, 2021 | 20 | 2021 |
| Type-two well-ordering principles, admissible sets, and-comprehension A Freund Bulletin of Symbolic Logic 24 (4), 460-461, 2018 | 20 | 2018 |
| Minimal bad sequences are necessary for a uniform Kruskal theorem A Freund, M Rathjen, A Weiermann Advances in Mathematics 400, 108265, 2022 | 18 | 2022 |
| Computable aspects of the Bachmann–Howard principle A Freund Journal of Mathematical Logic 20 (02), 2050006, 2020 | 18 | 2020 |
| A categorical construction of Bachmann–Howard fixed points A Freund Bulletin of the London Mathematical Society 51 (5), 801-814, 2019 | 14 | 2019 |
| From Kruskal’s theorem to Friedman’s gap condition A Freund Mathematical Structures in Computer Science 30 (8), 952-975, 2020 | 13 | 2020 |
| Lattice-based and topological representations of binary relations with an application to music A Freund, M Andreatta, JL Giavitto Annals of Mathematics and Artificial Intelligence 73, 311-334, 2015 | 13 | 2015 |
| Slow reflection A Freund Annals of Pure and Applied Logic 168 (12), 2103-2128, 2017 | 10 | 2017 |
| Proof lengths for instances of the Paris–Harrington principle A Freund Annals of Pure and Applied Logic 168 (7), 1361-1382, 2017 | 8 | 2017 |
| How strong are single fixed points of normal functions? A Freund The Journal of Symbolic Logic 85 (2), 709-732, 2020 | 7 | 2020 |
| Bounds for a nonlinear ergodic theorem for Banach spaces A Freund, U Kohlenbach Ergodic Theory and Dynamical Systems 43 (5), 1570-1593, 2023 | 6 | 2023 |
| A note on ordinal exponentiation and derivatives of normal functions A Freund Mathematical Logic Quarterly 66 (3), 326-335, 2020 | 6 | 2020 |
| Predicative collapsing principles A Freund The Journal of Symbolic Logic 85 (1), 511-530, 2020 | 5 | 2020 |
| Short proofs for slow consistency A Freund, F Pakhomov | 5 | 2020 |
| Well ordering principles for iterated -comprehension A Freund, M Rathjen Selecta Mathematica 29 (5), 76, 2023 | 4 | 2023 |
| A Uniform Characterization of Σ1-Reflection Over the Fragments of Peano Arithmetic A Freund PROOF AND COMPUTATION II: From Proof Theory and Univalent Mathematics to …, 2022 | 4 | 2022 |
| Gestaltungsdimensionen der Kommunikation von automatisierten Fahrzeugen und anderen Verkehrsteilnehmenden P Joisten, A Freund, B Abendroth Zeitschrift für Arbeitswissenschaft 74 (2), 132-145, 2020 | 4 | 2020 |
| Bachmann–Howard derivatives A Freund Archive for Mathematical Logic 62 (5), 581-618, 2023 | 3 | 2023 |
| Ackermann and Goodstein go functorial JP Aguilera, A Freund, M Rathjen, A Weiermann Pacific Journal of Mathematics 313 (2), 251-291, 2021 | 3 | 2021 |
Andreas WeiermannProfessur for mathematics and logic, Ghent University在 UGent.be 的电子邮件经过验证
