Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Outputs & Impact
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Onderzoeker
Andreas Weiermann
Profiel
Projecten
Publicaties & datasets
Activiteiten
Prijzen & Erkenningen
Octrooien
109
Resultaten
2026
Induction on dilators and Bachmann-Howard fixed points
Juan P. Aguilera
Anton Freund
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2026
2025
Gödel’s incompleteness at the frontiers of predicativity
Oriola Gjetaj
Andreas Weiermann
David Fernández-Duque
Lorenzo Carlucci
Proefschrift
2025
Intuitionistic dynamic logic
Lukas Matthias Zenger
Andreas Weiermann
Thomas studer
David Fernández-Duque
Proefschrift
2025
Maximum linearizations of lower sets in N^m with application to monomial ideals
Harry Altman
Andreas Weiermann
A1
Artikel in een tijdschrift
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2025
Modal combinatorics : unification, fixed-points, and reflection
Konstantinos Papafilippou
David Fernández-Duque
Andreas Weiermann
Seyedmojtaba Mojtahedi
Juan Aguilera
Proefschrift
2025
2024
A walk with Goodstein
David Fernández-Duque
Andreas Weiermann
A1
Artikel in een tijdschrift
in
BULLETIN OF SYMBOLIC LOGIC
2024
A walk with Goodstein and Ackermann
David Fernández-Duque
Andreas Weiermann
A1
Artikel in een tijdschrift
in
NOTRE DAME JOURNAL OF FORMAL LOGIC
2024
Fast Goodstein walks
David Fernández-Duque
Andreas Weiermann
A1
Artikel in een tijdschrift
in
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY
2024
Functorial fast-growing hierarchies
Juan P. Aguilera
Fedor Pakhomov
Andreas Weiermann
A1
Artikel in een tijdschrift
in
FORUM OF MATHEMATICS SIGMA
2024
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
David Fernández-Duque
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2024
Proof-theoretical aspects of well quasi-orders and phase transitions in arithmetical provability
Gabriele Buriola
Peter Schuster
Andreas Weiermann
Proefschrift
2024
Well partial orders
Andreas Weiermann
Hoofdstuk in een boek
in
Dick de Jongh on Intuitionistic and Provability Logics
2024
2023
Intermediate Goodstein principles
David Fernández-Duque
Oriola Gjetaj
Andreas Weiermann
Hoofdstuk in een boek
in
Mathematics for Computation (M4C)
2023
Modern perspectives in Proof Theory
J. P. Aguilera
Fedor Pakhomov
Andreas Weiermann
Redactioneel materiaal
2023
Some independence results related to finite trees
Harvey Martin Friedman
Andreas Weiermann
A1
Artikel in een tijdschrift
in
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
2023
2022
Arithmetical and hyperarithmetical worm battles
David Fernández-Duque
Joost J Joosten
Fedor Pakhomov
Konstantinos Papafilippou
Andreas Weiermann
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2022
Boundedness theorems for flowers and sharps
J. P. Aguilera
Anton Freund
Michael Rathjen
Andreas Weiermann
A1
Artikel in een tijdschrift
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2022
Minimal bad sequences are necessary for a uniform Kruskal theorem
Anton Freund
Michael Rathjen
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ADVANCES IN MATHEMATICS
2022
2021
Ackermann and Goodstein go functorial
J. P. Aguilera
Anton Freund
Michael Rathjen
Andreas Weiermann
A1
Artikel in een tijdschrift
in
PACIFIC JOURNAL OF MATHEMATICS
2021
Connecting with computability
Boekeditor
2021
Goodstein sequences on a parametrized Ackermann-Peter function
Toshiyasu Arai
Stan Wainer
Andreas Weiermann
A1
Artikel in een tijdschrift
in
BULLETIN OF SYMBOLIC LOGIC
2021
2020
Ackermannian Goodstein sequences of intermediate growth
David Fernández-Duque
Andreas Weiermann
C1
Conferentie
2020
Calculating maximal order types for finite rooted unstructured labeled trees
Diana Schmidt
Jeroen Van der Meeren
Andreas Weiermann
Hoofdstuk in een boek
in
The legacy of Kurt Schütte
2020
Predicatively unprovable termination of the Ackermannian Goodstein process
Toshiyasu Arai
David Fernández-Duque
Stanley Wainer
Andreas Weiermann
A1
Artikel in een tijdschrift
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2020
Topological properties and asymptotic behavior of generalized functions
Lenny Neyt
Jasson Vindas Diaz
Andreas Weiermann
Proefschrift
2020
Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
Boekeditor
2020
2017
Ackermannian Goodstein principles for first order Peano arithmetic
Andreas Weiermann
Hoofdstuk in een boek
in
Sets and computations
2017
An order-theoretic characterization of the Howard-Bachmann-hierarchy
Jeroen Van der Meeren
Michael Rathjen
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
2017
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
Michael Rathjen
Jeroen Van der Meeren
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
2017
The strength of infinitary Ramseyan principles can be accessed by their densities
Andrey Bovykin
Andreas Weiermann
A1
Artikel in een tijdschrift
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
Proefschrift
2015
Beweisbar oder nicht? Die Grenzzahl 0,639578175...
Andreas Weiermann
Dirk Huylebrouck
A2
Artikel in een tijdschrift
in
MITTEILUNGEN DER DEUTSCHEN MATHEMATIKER-VEREINIGUNG
2015
Classifying phase transition thresholds for Goodstein sequences and Hydra games
Frederik Meskens
Andreas Weiermann
Hoofdstuk in een boek
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
Proefschrift
2015
How to compare Buchholz-style ordinal notation systems with Gordeev-style notation systems
Jeroen Van der Meeren
Andreas Weiermann
P1
Conferentie
2015
Well-partial-orderings and the big Veblen number
Jeroen Van der Meeren
Michael Rathjen
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
2015
2014
Asymptotic distribution of integers with certain prime factorizations
Hans Vernaeve
Jasson Vindas Diaz
Andreas Weiermann
A1
Artikel in een tijdschrift
in
JOURNAL OF NUMBER THEORY
2014
Het grensgetal 0.639578175...
Andreas Weiermann
Dirk Huylebrouck
Nieuwsartikel
2014
Phase transitions related to the pigeonhole principle
Michiel De Smet
Andreas Weiermann
C1
Conferentie
2014
2013
Goodstein sequences for prominent ordinals up to the ordinal of Π¹₁-CA₀
Andreas Weiermann
Gunnar Wilken
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2013
On the structure of honest elementary degrees
Lars Kristiansen
Robert S Lubarsky
Jan-Christoph Schlage-Puchta
Andreas Weiermann
C1
Conferentie
2013
Slow consistency
Sy-David Friedman
Michael Rathjen
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2013
Some results on PA-provably recursive functions
Sy-David Friedman
Michael Rathjen
Andreas Weiermann
C1
Conferentie
2013
2012
A nonstandard hierarchy comparison theorem for the slow and fast growing hierarchy
Wilfried Buchholz
Andreas Weiermann
Hoofdstuk in een boek
in
Logic, construction, computation
2012
Connecting the provable with the unprovable: phase transitions for unprovability
Florian Nicolás Pelupessy
Andreas Weiermann
Proefschrift
2012
Derivation lengths classification of Gödel's T extending Howard's assignment
Gunnar Wilken
Andreas Weiermann
A1
Artikel in een tijdschrift
in
LOGICAL METHODS IN COMPUTER SCIENCE
2012
Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal
Michiel De Smet
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2012
M2-computable real numbers
Dimiter Skordev
Andreas Weiermann
Ivan Georgiev
A1
Artikel in een tijdschrift
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
Artikel in een tijdschrift
in
FUNDAMENTA MATHEMATICAE
2012
Phase transitions of iterated Higman-style well-partial-orderings
Lev Gordeev
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
2012
Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension
Andreas Weiermann
Wim Van Hoof
A1
Artikel in een tijdschrift
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
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2012
Some natural zero one laws for ordinals below ε0
Andreas Weiermann
Alan R Woods
C1
Conferentie
2012
Streamlined subrecursive degree theory
Lars Kristiansen
Jan-Christoph Schlage-Puchta
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2012
2011
Ordinal arithmetic with simultaneously defined theta-functions
Andreas Weiermann
Gunnar Wilken
A1
Artikel in een tijdschrift
in
MATHEMATICAL LOGIC QUARTERLY
2011
Reverse mathematics and well-ordering principles
Michael Rathjen
Andreas Weiermann
C1
Conferentie
2011
Sharp thresholds for hypergraph regressive Ramsey numbers
Lorenzo Carlucci
Gyesik Lee
Andreas Weiermann
A1
Artikel in een tijdschrift
in
JOURNAL OF COMBINATORIAL THEORY SERIES A
2011
Unprovability and phase transitions in Ramsey theory
Michiel De Smet
Andreas Weiermann
Andrey Bovykin
Proefschrift
2011
Unprovability results involving braids
Lorenzo Carlucci
Patrick Dehornoy
Andreas Weiermann
A1
Artikel in een tijdschrift
in
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY
2011
2010
A miniaturisation of Ramsey's theorem
Michiel De Smet
Andreas Weiermann
P1
Conferentie
2010
Analytic combinatorics of the transfinite: a unifying Tauberian perspective
Andreas Weiermann
C1
Conferentie
2010
Phase transitions in proof theory
Lev Gordeev
Andreas Weiermann
C1
Conferentie
2010
The reverse mathematics of elementary recursive nonstandard analysis: a robust contribution to the foundations of mathematics
Sam Sanders
Christian Impens
Andreas Weiermann
Proefschrift
2010
Unbounded arithmetic
Sam Sanders
Andreas Weiermann
C1
Conferentie
2010
2009
A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets
Andreas Weiermann
P1
Conferentie
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
Conferentie
2009
Classifying the phase transition threshold for Ackermannian functions
Eran Omri
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2009
Complexity of Godel's T in lambda-formulation
Wilken Gunnar
Andreas Weiermann
P1
Conferentie
2009
Phase Transitions for Gödel Incompleteness
Andreas Weiermann
A1
Artikel in een tijdschrift
in
Annals of Pure and Applied Logic
2009
Unprovability, phase transitions and the Riemann zeta-function
Andrey Bovykin
Andreas Weiermann
C1
Conferentie
2009
2008
Classifying the phase transition threshold for unordered regressive Ramsey numbers
Florian Nicolás Pelupessy
Andreas Weiermann
C1
Conferentie
2008
Phase transitions for weakly increasing sequences
Michiel De Smet
Andreas Weiermann
P1
Conferentie
2008
Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers
Menachem Kojman
Gyesik Lee
Eran Omri
Andreas Weiermann
A1
Artikel in een tijdschrift
in
JOURNAL OF COMBINATORIAL THEORY SERIES A
2008
2007
A sharp phase transition threshold for elementary descent recursive functions
A den Boer
Andreas Weiermann
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2007
More on lower bounds for partitioning α-large sets
Henryk Kotlarski
Bozena Piekart
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2007
Phase transition thresholds for some Friedman-style independence results
Andreas Weiermann
A1
Artikel in een tijdschrift
in
MATHEMATICAL LOGIC QUARTERLY
2007
2006
An extremely sharp phase transition threshold for the slow growing hierarchy
Andreas Weiermann
A1
Artikel in een tijdschrift
in
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
2006
Classifying the provably total functions of PA
Andreas Weiermann
A1
Artikel in een tijdschrift
in
BULLETIN OF SYMBOLIC LOGIC
2006
Phase transition thresholds for some natural subclasses of the computable functions
Andreas Weiermann
A1
Artikel in een tijdschrift
in
LOGICAL APPROACHES TO COMPUTATIONAL BARRIERS, PROCEEDINGS
2006
2005
Analytic combinatorics for a certain well-ordered class of iterated exponential terms
Andreas Weiermann
C1
Conferentie
2005
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2005
2004
A classification of rapidly growing Ramsey functions
Andreas Weiermann
A1
Artikel in een tijdschrift
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2004
2003
An application of graphical enumeration to PA
Andreas Weiermann
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2003
An application of results by Hardy, Ramanujan and Karamata to Ackermannian functions
Andreas Weiermann
A1
Artikel in een tijdschrift
in
DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE
2003
Relating derivation lengths with the slow-growing hierarchy directly
G Moser
Andreas Weiermann
A1
Artikel in een tijdschrift
in
REWRITING TECNIQUES AND APPLICATIONS, PROCEEDINGS
2003
2002
Slow versus fast growing
Andreas Weiermann
A1
Artikel in een tijdschrift
in
SYNTHESE
2002
2001
Gamma(0) may be minimal subrecursively inaccessible
Andreas Weiermann
A1
Artikel in een tijdschrift
in
MATHEMATICAL LOGIC QUARTERLY
2001
Some interesting connections between the slow growing hierarchy and the Ackermann function
Andreas Weiermann
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2001
2000
Analyzing Godel's T via expanded head reduction trees
A Beckmann
Andreas Weiermann
A1
Artikel in een tijdschrift
in
MATHEMATICAL LOGIC QUARTERLY
2000
Characterizing the elementary recursive functions by a fragment of Godel's T
A Beckmann
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
2000
1998
Bounding derivation lengths with functions from the slow growing hierarchy
Andreas Weiermann
A1
Artikel in een tijdschrift
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
Artikel in een tijdschrift
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
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
1997
Sometimes slow growing is fast growing
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
1997
Term rewriting theory for the primitive recursive functions
EA Cichon
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
1997
1996
A term rewriting characterization of the polytime functions and related complexity classes
A Beckmann
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
1996
How to characterize provably total functions by local predicativity
Andreas Weiermann
A1
Artikel in een tijdschrift
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
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
1995
Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths
Andreas Weiermann
A1
Artikel in een tijdschrift
in
THEORETICAL COMPUTER SCIENCE
1995
1994
A functorial property of the Aczel-Buchholz-Feferman function
Andreas Weiermann
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
1994
A uniform approach to fundamental sequences and hierarchies
W Buchholz
A Cichon
Andreas Weiermann
A1
Artikel in een tijdschrift
in
MATHEMATICAL LOGIC QUARTERLY
1994
Complexity bounds for some finite forms of Kruskal theorem
Andreas Weiermann
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC COMPUTATION
1994
1993
A simplified functorial construction of the Veblen hierarchy
Andreas Weiermann
A1
Artikel in een tijdschrift
in
MATHEMATICAL LOGIC QUARTERLY
1993
An order-theoretic characterization of the Schutte-Veblen-hierarchy
Andreas Weiermann
A1
Artikel in een tijdschrift
in
MATHEMATICAL LOGIC QUARTERLY
1993
Bounds for the closure ordinals of essentially monotonic increasing functions
Andreas Weiermann
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
1993
Proof-theoretic investigations on Kruskal theorem
M Rathjen
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
1993
1992
Proving termination for term rewriting-systems
Andreas Weiermann
A1
Artikel in een tijdschrift
in
LECTURE NOTES IN COMPUTER SCIENCE
1992
1991
Vereinfachte Kollabierungsfunktionen und ihre Anwendungen
Andreas Weiermann
A2
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
1991
1990
Ein neuer Zugang zu Kollabierungsfunktionen
Andreas Weiermann
Wolfram Pohlers
Proefschrift
1990