< Back to previous page
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
11 - 20 of 35
- Classifying phase transition thresholds for Goodstein sequences and Hydra games(2015)
Authors: Frederik Meskens, Andreas Weiermann, Reinhard Kahle, Michael Rathjen
Pages: 455 - 478 - Beweisbar oder nicht? Die Grenzzahl 0,639578175...(2015)
Authors: Andreas Weiermann, Dirk Huylebrouck
Pages: 156 - 159 - Asymptotic distribution of integers with certain prime factorizations(2014)
Authors: Hans Vernaeve, Jasson Vindas Diaz, Andreas Weiermann
Pages: 87 - 99 - Slow consistency(2013)
Authors: Sy-David Friedman, Michael Rathjen, Andreas Weiermann
Pages: 382 - 393 - Some results on PA-provably recursive functions(2013)Volume: 11
Authors: Sy-David Friedman, Michael Rathjen, Andreas Weiermann, Martin Koerwien, Moritz Müller
Pages: 619 - 622 - Goodstein sequences for prominent ordinals up to the ordinal of U+03A0¹U+2081-CAU+2080(2013)
Authors: Andreas Weiermann, Gunnar Wilken, Ulrich Kohlenbach
Pages: 1493 - 1506 - Phase transitions of iterated Higman-style well-partial-orderings(2012)
Authors: Lev Gordeev, Andreas Weiermann
Pages: 127 - 161 - A nonstandard hierarchy comparison theorem for the slow and fast growing hierarchy(2012)Series: Ontos Mathematical Logic
Authors: Wilfried Buchholz, Andreas Weiermann, Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger
Pages: 79 - 90 - Derivation lengths classification of Gödel's T extending Howard's assignment(2012)
Authors: Gunnar Wilken, Andreas Weiermann
- Some natural zero one laws for ordinals below ε0(2012)Volume: 7318
Authors: Andreas Weiermann, Alan R Woods, S Barry Cooper, Anuj Dawar, Benedikt Löwe
Pages: 723 - 732