Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Researcher
Andreas Weiermann
Profile
Projects
Publications
Activities
93
Results
2022
Boundedness theorems for flowers and sharps
Juan Aguilera
Andreas Weiermann
A1
Journal Article
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2022
Minimal bad sequences are necessary for a uniform Kruskal theorem
Andreas Weiermann
A1
Journal Article
in
ADVANCES IN MATHEMATICS
2022
2021
Ackermann and Goodstein go functorial
Juan Aguilera
Andreas Weiermann
A1
Journal Article
in
PACIFIC JOURNAL OF MATHEMATICS
2021
Connecting with computability
Book editor
2021
Goodstein sequences on a parametrized Ackermann-Peter function
Andreas Weiermann
A1
Journal Article
in
BULLETIN OF SYMBOLIC LOGIC
2021
2020
Ackermannian Goodstein sequences of intermediate growth
David Fernández-Duque
Andreas Weiermann
C1
Conference
2020
Calculating maximal order types for finite rooted unstructured labeled trees
Andreas Weiermann
Bookchapter
in
The legacy of Kurt Schütte
2020
Predicatively unprovable termination of the Ackermannian Goodstein process
David Fernández-Duque
Andreas Weiermann
A1
Journal Article
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2020
Topological properties and asymptotic behavior of generalized functions
Lenny Neyt
Jasson Vindas Diaz
Andreas Weiermann
Dissertation
2020
Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
Book editor
2020
2017
Ackermannian Goodstein principles for first order Peano arithmetic
Andreas Weiermann
Bookchapter
in
Sets and computations
2017
An order-theoretic characterization of the Howard-Bachmann-hierarchy
Jeroen Van der Meeren
Andreas Weiermann
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
2017
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
Jeroen Van der Meeren
Andreas Weiermann
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
2017
The strength of infinitary Ramseyan principles can be accessed by their densities
Andreas Weiermann
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2017
2015
Analytic estimates of class numbers and relative class numbers
Korneel Debaene
Andreas Weiermann
Jan-Christoph Schlage-Puchta
Dissertation
2015
Beweisbar oder nicht? Die Grenzzahl 0,639578175...
Andreas Weiermann
A2
Journal Article
in
MITTEILUNGEN DER DEUTSCHEN MATHEMATIKER-VEREINIGUNG
2015
Classifying phase transition thresholds for Goodstein sequences and Hydra games
Andreas Weiermann
Bookchapter
in
Gentzen's centenary : the quest for consistency
2015
Connecting the two worlds: well-partial-orders and ordinal notation systems
Jeroen Van der Meeren
Andreas Weiermann
Dissertation
2015
How to compare Buchholz-style ordinal notation systems with Gordeev-style notation systems
Jeroen Van der Meeren
Andreas Weiermann
P1
Conference
2015
Well-partial-orderings and the big Veblen number
Jeroen Van der Meeren
Andreas Weiermann
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
2015
2014
Asymptotic distribution of integers with certain prime factorizations
Hans Vernaeve
Jasson Vindas Diaz
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF NUMBER THEORY
2014
Het grensgetal 0.639578175...
Andreas Weiermann
Newsarticle
2014
Phase transitions related to the pigeonhole principle
Michiel De Smet
Andreas Weiermann
C1
Conference
2014
2013
Goodstein sequences for prominent ordinals up to the ordinal of Π¹₁-CA₀
Andreas Weiermann
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2013
On the structure of honest elementary degrees
Jan-Christoph Schlage-Puchta
Andreas Weiermann
C1
Conference
2013
Slow consistency
Andreas Weiermann
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2013
Some results on PA-provably recursive functions
Andreas Weiermann
C1
Conference
2013
2012
A nonstandard hierarchy comparison theorem for the slow and fast growing hierarchy
Andreas Weiermann
Bookchapter
in
Logic, construction, computation
2012
Connecting the provable with the unprovable: phase transitions for unprovability
Florian Nicolás Pelupessy
Andreas Weiermann
Dissertation
2012
Derivation lengths classification of Gödel's T extending Howard's assignment
Andreas Weiermann
A1
Journal Article
in
LOGICAL METHODS IN COMPUTER SCIENCE
2012
Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal
Michiel De Smet
Andreas Weiermann
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2012
M2-computable real numbers
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF LOGIC AND COMPUTATION
2012
On the lengths of bad sequences of monomial ideals over polynomial rings
Florian Nicolás Pelupessy
Andreas Weiermann
A1
Journal Article
in
FUNDAMENTA MATHEMATICAE
2012
Phase transitions of iterated Higman-style well-partial-orderings
Andreas Weiermann
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
2012
Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension
Andreas Weiermann
A1
Journal Article
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2012
Sharp thresholds for a phase transition related to weakly increasing sequences
Michiel De Smet
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF LOGIC AND COMPUTATION
2012
Some natural zero one laws for ordinals below ε0
Andreas Weiermann
C1
Conference
2012
Streamlined subrecursive degree theory
Jan-Christoph Schlage-Puchta
Andreas Weiermann
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2012
2011
Ordinal arithmetic with simultaneously defined theta-functions
Andreas Weiermann
A1
Journal Article
in
MATHEMATICAL LOGIC QUARTERLY
2011
Reverse mathematics and well-ordering principles
Andreas Weiermann
C1
Conference
2011
Sharp thresholds for hypergraph regressive Ramsey numbers
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF COMBINATORIAL THEORY SERIES A
2011
Unprovability and phase transitions in Ramsey theory
Michiel De Smet
Andreas Weiermann
Dissertation
2011
Unprovability results involving braids
Andreas Weiermann
A1
Journal Article
in
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY
2011
2010
A miniaturisation of Ramsey's theorem
Michiel De Smet
Andreas Weiermann
P1
Conference
2010
Analytic combinatorics of the transfinite: a unifying Tauberian perspective
Andreas Weiermann
C1
Conference
2010
Phase transitions in proof theory
Andreas Weiermann
C1
Conference
2010
The reverse mathematics of elementary recursive nonstandard analysis: a robust contribution to the foundations of mathematics
Sam Sanders
Christian Impens
Andreas Weiermann
Dissertation
2010
Unbounded arithmetic
Sam Sanders
Andreas Weiermann
C1
Conference
2010
2009
A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets
Andreas Weiermann
P1
Conference
2009
Ackermannian Lower Bounds for Lengths of Bad Sequences of Monomial Ideals over Polynomial Rings in two Variables
Florian Nicolás Pelupessy
Andreas Weiermann
C1
Conference
2009
Classifying the phase transition threshold for Ackermannian functions
Andreas Weiermann
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2009
Complexity of Godel's T in lambda-formulation
Andreas Weiermann
P1
Conference
2009
Phase Transitions for Gödel Incompleteness
Andreas Weiermann
A1
Journal Article
in
Annals of Pure and Applied Logic
2009
Unprovability, phase transitions and the Riemann zeta-function
Andreas Weiermann
C1
Conference
2009
2008
Classifying the phase transition threshold for unordered regressive Ramsey numbers
Florian Nicolás Pelupessy
Andreas Weiermann
C1
Conference
2008
Phase transitions for weakly increasing sequences
Michiel De Smet
Andreas Weiermann
P1
Conference
2008
Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF COMBINATORIAL THEORY SERIES A
2008
2007
A sharp phase transition threshold for elementary descent recursive functions
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF LOGIC AND COMPUTATION
2007
More on lower bounds for partitioning α-large sets
Andreas Weiermann
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2007
Phase transition thresholds for some Friedman-style independence results
Andreas Weiermann
A1
Journal Article
in
MATHEMATICAL LOGIC QUARTERLY
2007
2006
An extremely sharp phase transition threshold for the slow growing hierarchy
Andreas Weiermann
A1
Journal Article
in
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
2006
Classifying the provably total functions of PA
Andreas Weiermann
A1
Journal Article
in
BULLETIN OF SYMBOLIC LOGIC
2006
Phase transition thresholds for some natural subclasses of the computable functions
Andreas Weiermann
A1
Journal Article
in
LOGICAL APPROACHES TO COMPUTATIONAL BARRIERS, PROCEEDINGS
2006
2005
Analytic combinatorics for a certain well-ordered class of iterated exponential terms
Andreas Weiermann
C1
Conference
2005
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
Andreas Weiermann
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2005
2004
A classification of rapidly growing Ramsey functions
Andreas Weiermann
A1
Journal Article
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2004
2003
An application of graphical enumeration to PA
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2003
An application of results by Hardy, Ramanujan and Karamata to Ackermannian functions
Andreas Weiermann
A1
Journal Article
in
DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE
2003
Relating derivation lengths with the slow-growing hierarchy directly
Andreas Weiermann
A1
Journal Article
in
REWRITING TECNIQUES AND APPLICATIONS, PROCEEDINGS
2003
2002
Slow versus fast growing
Andreas Weiermann
A1
Journal Article
in
SYNTHESE
2002
2001
Gamma(0) may be minimal subrecursively inaccessible
Andreas Weiermann
A1
Journal Article
in
MATHEMATICAL LOGIC QUARTERLY
2001
Some interesting connections between the slow growing hierarchy and the Ackermann function
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2001
2000
Analyzing Godel's T via expanded head reduction trees
Andreas Weiermann
A1
Journal Article
in
MATHEMATICAL LOGIC QUARTERLY
2000
Characterizing the elementary recursive functions by a fragment of Godel's T
Andreas Weiermann
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
2000
1998
Bounding derivation lengths with functions from the slow growing hierarchy
Andreas Weiermann
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
1998
How is it that infinitary methods can be applied to finitary mathematics? Godel's T : a case study
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
1998
1997
A proof of strongly uniform termination for Godel's T by methods from local predicativity
Andreas Weiermann
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
1997
Sometimes slow growing is fast growing
Andreas Weiermann
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
1997
Term rewriting theory for the primitive recursive functions
Andreas Weiermann
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
1997
1996
A term rewriting characterization of the polytime functions and related complexity classes
Andreas Weiermann
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
1996
How to characterize provably total functions by local predicativity
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
1996
1995
Investigations on slow versus fast growing : how to majorize slow growing functions nontrivially by fast growing ones
Andreas Weiermann
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
1995
Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths
Andreas Weiermann
A1
Journal Article
in
THEORETICAL COMPUTER SCIENCE
1995
1994
A functorial property of the Aczel-Buchholz-Feferman function
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
1994
A uniform approach to fundamental sequences and hierarchies
Andreas Weiermann
A1
Journal Article
in
MATHEMATICAL LOGIC QUARTERLY
1994
Complexity bounds for some finite forms of Kruskal theorem
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF SYMBOLIC COMPUTATION
1994
1993
A simplified functorial construction of the Veblen hierarchy
Andreas Weiermann
A1
Journal Article
in
MATHEMATICAL LOGIC QUARTERLY
1993
An order-theoretic characterization of the Schutte-Veblen-hierarchy
Andreas Weiermann
A1
Journal Article
in
MATHEMATICAL LOGIC QUARTERLY
1993
Bounds for the closure ordinals of essentially monotonic increasing functions
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
1993
Proof-theoretic investigations on Kruskal theorem
Andreas Weiermann
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
1993
1992
Proving termination for term rewriting-systems
Andreas Weiermann
A1
Journal Article
in
LECTURE NOTES IN COMPUTER SCIENCE
1992
1991
Vereinfachte Kollabierungsfunktionen und ihre Anwendungen
Andreas Weiermann
A2
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
1991
1990
Ein neuer Zugang zu Kollabierungsfunktionen
Andreas Weiermann
Dissertation
1990