< 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
21 - 30 of 35
- Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension(2012)
Authors: Andreas Weiermann, Wim Van Hoof
Pages: 2913 - 2927 - M2-computable real numbers(2012)
Authors: Dimiter Skordev, Andreas Weiermann, Ivan Georgiev
Pages: 899 - 925 - Sharp thresholds for a phase transition related to weakly increasing sequences(2012)
Authors: Michiel De Smet, Andreas Weiermann
Pages: 207 - 211 - Sharp thresholds for hypergraph regressive Ramsey numbers(2011)
Authors: Lorenzo Carlucci, Gyesik Lee, Andreas Weiermann
Pages: 558 - 585 - Unprovability results involving braids(2011)
Authors: Lorenzo Carlucci, Patrick Dehornoy, Andreas Weiermann, John Cremona, David Preiss
Pages: 159 - 192 - Reverse mathematics and well-ordering principles(2011)
Authors: Michael Rathjen, Andreas Weiermann, S Barry Cooper, Andrea Sorbi
Pages: 351 - 370 - Ordinal arithmetic with simultaneously deU+FB01ned theta-functions(2011)
Authors: Andreas Weiermann, Gunnar Wilken, Benedikt Loewe, Klaus Meer, Pavel Pudlak
Pages: 116 - 132 - Analytic combinatorics of the transfinite: a unifying Tauberian perspective(2010)Volume: 35
Authors: Andreas Weiermann, Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan
Pages: 238 - 267 - Phase Transitions for Gödel Incompleteness(2009)
Authors: Andreas Weiermann, Sergei Artemov
Pages: 281 - 296 - Classifying the phase transition threshold for Ackermannian functions(2009)
Authors: Eran Omri, Andreas Weiermann, Andreas Blass, Su Gao, Yi Zhang
Pages: 156 - 162