Researcher
Andreas Weiermann
- Keywords:Mathematical Logic, Proof theory, Term rewriting systems
- Disciplines:Mathematical logic and foundations, History and biography of mathematical sciences, Convex and discrete geometry, Combinatorics, Theoretical computer science not elsewhere classified, History and foundations not elsewhere classified, Mathematical software, Applied discrete mathematics, Computational logic and formal languages, Coding and information theory
Affiliations
- Department of Mathematics: Analysis, Logic and Discrete Mathematics (Department)
Member
From1 Jan 2019 → Today - Department of Mathematics: Algebra and Geometry (Department)
Member
From1 Oct 2006 → 31 Dec 2018
Projects
1 - 10 of 12
- Duality theory for verification formalismsFrom1 Nov 2023 → TodayFunding: FWO senior postdoctoral fellowship
- Towards higher-order well-ordering principles for third order arithmeticFrom1 Nov 2022 → TodayFunding: FWO fellowships
- Analysis of Impredicative Provability LogicsFrom11 Apr 2022 → TodayFunding: BOF - doctoral mandates
- Recursion, reflection, and second-order arithmeticFrom1 Feb 2022 → TodayFunding: FWO Odysseus Group II
- Proof and Model Theory of Intuitionistic Temporal LogicFrom1 Jan 2021 → TodayFunding: FWO research project (including WEAVE projects)
- Investigations into the strength Hindman's theorem and its alternative formulations.From1 Jan 2021 → TodayFunding: BOF - doctoral mandates
- Recursion on ptykesFrom1 Oct 2020 → 31 Jan 2022Funding: FWO fellowships
- Nonstandard analysis in special modelsFrom1 Oct 2018 → 30 Sep 2020Funding: BOF - Doctoral projects
- Gauging the strength of Fraisse's order-type conjectureFrom15 Mar 2018 → 14 May 2021Funding: BOF - Doctoral projects
- Analytic combinatorics of the transfinite: A Tauberian approachFrom1 Sep 2015 → 31 Aug 2021Funding: BOF - Doctoral projects
Publications
1 - 10 of 35
- Some independence results related to finite trees(2023)
Authors: Harvey Martin Friedman, Andreas Weiermann
- Chapter 7 : Intermediate Goodstein principles(2023)
Authors: David Fernández-Duque, Oriola Gjetaj, Andreas Weiermann, Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster
Pages: 165 - 194 - Arithmetical and hyperarithmetical worm battles(2022)
Authors: David Fernández-Duque, Joost J Joosten, Fedor Pakhomov, Konstantinos Papafilippou, Andreas Weiermann
Pages: 1558 - 1584 - Connecting with computability(2021)
Authors: Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque
- Goodstein sequences on a parametrized Ackermann-Peter function(2021)
Authors: Toshiyasu Arai, Stan Wainer, Andreas Weiermann
Pages: 168 - 186 - Ackermannian Goodstein sequences of intermediate growth(2020)Volume: 12098
Authors: David Fernández-Duque, Andreas Weiermann
Pages: 163 - Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory(2020)
Authors: Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
Number of pages: 1 - Calculating maximal order types for finite rooted unstructured labeled trees(2020)
Authors: Diana Schmidt, Jeroen Van der Meeren, Andreas Weiermann, Reinhard Kahle, Michael Rathjen
Pages: 253 - 264 - Ackermannian Goodstein principles for first order Peano arithmetic(2017)Series: Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
Authors: Andreas Weiermann, Sy-David Friedman, Dilip Raghavan, Yue Yang
Pages: 157 - 181 - The strength of infinitary Ramseyan principles can be accessed by their densities(2017)
Authors: Andrey Bovykin, Andreas Weiermann
Pages: 1700 - 1709