Follow
Andreas Weiermann
Andreas Weiermann
Professur for mathematics and logic, Ghent University
Verified email at UGent.be
Title
Cited by
Cited by
Year
Proof-theoretic investigations on Kruskal's theorem
M Rathjen, A Weiermann
Annals of Pure and applied Logic 60 (1), 49-88, 1993
1681993
A uniform approach to fundamental sequences and hierarchies
W Buchholz, A Cichon, A Weiermann
Mathematical Logic Quarterly 40 (2), 273-286, 1994
1151994
Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths
A Weiermann
Theoretical Computer Science 139 (1-2), 355-362, 1995
921995
An application of graphical enumeration to PA
A Weiermann
The Journal of Symbolic Logic 68 (1), 5-16, 2003
632003
A classification of rapidly growing Ramsey functions
A Weiermann
Proceedings of the American Mathematical Society 132 (2), 553-561, 2004
572004
A term rewriting characterization of the polytime functions and related complexity classes
A Beckmann, A Weiermann
Archive for Mathematical Logic 36 (1), 11-30, 1996
521996
How to characterize provably total functions by local predicativity
A Weiermann
The Journal of Symbolic Logic 61 (1), 52-69, 1996
511996
The strength of infinitary Ramseyan principles can be accessed by their densities
A Bovykin, A Weiermann
Annals of Pure and Applied Logic 168 (9), 1700-1709, 2017
462017
Complexity bounds for some finite forms of Kruskal's theorem
A Weiermann
Journal of Symbolic Computation 18 (5), 463-488, 1994
441994
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
A Weiermann
Annals of Pure and Applied Logic 136 (1-2), 189-218, 2005
432005
Term rewriting theory for the primitive recursive functions
EA Cichon, A Weiermann
Annals of pure and applied logic 83 (3), 199-223, 1997
401997
Classifying the provably total functions of PA
A Weiermann
Bulletin of Symbolic Logic 12 (2), 177-190, 2006
322006
Reverse mathematics and well-ordering principles
M Rathjen, A Weiermann
Computability in Context: Computation and Logic in the Real World, 351-370, 2011
312011
Phase transition thresholds for some Friedman‐style independence results
A Weiermann
Mathematical Logic Quarterly 53 (1), 4-18, 2007
312007
How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study
A Weiermann
The Journal of Symbolic Logic 63 (4), 1348-1370, 1998
311998
Slow consistency
SD Friedman, M Rathjen, A Weiermann
Annals of Pure and Applied Logic 164 (3), 382-393, 2013
272013
How to characterize provably total functions by the Buchholz operator method
B Blankertz, A Weiermann
Gödel'96: Logical foundations of mathematics, computer science and physics …, 1996
261996
2-computable real numbers
D Skordev, A Weiermann, I Georgiev
Journal of Logic and Computation 22 (4), 899-925, 2012
242012
A computation of the maximal order type of the term ordering on finite multisets
A Weiermann
Mathematical Theory and Computational Practice: 5th Conference on …, 2009
232009
Proving termination for term rewriting systems
A Weiermann
Computer Science Logic: 5th Workshop, CSL'91 Berne, Switzerland, October 7 …, 1992
221992
The system can't perform the operation now. Try again later.
Articles 1–20