| 2008 |
|---|
| 32 | EE | Michiel De Smet,
Andreas Weiermann:
Phase Transitions for Weakly Increasing Sequences.
CiE 2008: 168-174 |
| 31 | EE | Menachem Kojman,
Gyesik Lee,
Eran Omri,
Andreas Weiermann:
Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers.
J. Comb. Theory, Ser. A 115(6): 1036-1055 (2008) |
| 2007 |
|---|
| 30 | EE | Henryk Kotlarski,
Bozena Piekart,
Andreas Weiermann:
More on lower bounds for partitioning alpha-large sets.
Ann. Pure Appl. Logic 147(3): 113-126 (2007) |
| 29 | EE | Arnoud den Boer,
Andreas Weiermann:
A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions.
J. Log. Comput. 17(6): 1083-1098 (2007) |
| 28 | EE | Andreas Weiermann:
Phase transition thresholds for some Friedman-style independence results.
Math. Log. Q. 53(1): 4-18 (2007) |
| 2006 |
|---|
| 27 | EE | Andreas Weiermann:
Phase Transition Thresholds for Some Natural Subclasses of the Computable Functions.
CiE 2006: 556-570 |
| 26 | EE | Andreas Weiermann:
An extremely sharp phase transition threshold for the slow growing hierarchy.
Mathematical Structures in Computer Science 16(5): 925-946 (2006) |
| 2005 |
|---|
| 25 | EE | Andreas Weiermann:
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results.
Ann. Pure Appl. Logic 136(1-2): 189-218 (2005) |
| 2003 |
|---|
| 24 | EE | Georg Moser,
Andreas Weiermann:
Relating Derivation Lengths with the Slow-Growing Hierarchy Directly.
RTA 2003: 296-310 |
| 23 | EE | Andreas Weiermann:
An application of results by Hardy, Ramanujan and Karamata to Ackermannian functions.
Discrete Mathematics & Theoretical Computer Science 6(1): (2003) |
| 22 | | Andreas Weiermann:
An application of graphical enumeration to PA*.
J. Symb. Log. 68(1): 5-16 (2003) |
| 2001 |
|---|
| 21 | | Andreas Weiermann:
Some Interesting Connections Between The Slow Growing Hierarchy and The Ackermann Function.
J. Symb. Log. 66(2): 609-628 (2001) |
| 20 | EE | Andreas Weiermann:
Gamma0 May Be Minimal Subrecursively Inaccessible.
Math. Log. Q. 47(3): 397-408 (2001) |
| 2000 |
|---|
| 19 | EE | Arnold Beckmann,
Andreas Weiermann:
Characterizing the elementary recursive functions by a fragment of Gödel's T.
Arch. Math. Log. 39(7): 475-491 (2000) |
| 18 | EE | Arnold Beckmann,
Andreas Weiermann:
Analyzing Gödel's T Via Expanded Head Reduction Trees.
Math. Log. Q. 46(4): 517-536 (2000) |
| 1999 |
|---|
| 17 | | Benjamin Blankertz,
Andreas Weiermann:
A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems.
Studia Logica 62(3): 399-427 (1999) |
| 1998 |
|---|
| 16 | EE | Andreas Weiermann:
Bounding derivation lengths with functions from the slow growing hierarchy.
Arch. Math. Log. 37(5-6): 427-441 (1998) |
| 15 | | Andreas Weiermann:
How Is It that Infinitary Methods Can Be Applied to Finitary Mathematics? Gödel's T: A Case Study.
J. Symb. Log. 63(4): 1348-1370 (1998) |
| 1997 |
|---|
| 14 | | E. A. Cichon,
Andreas Weiermann:
Term Rewriting Theory for the Primitive Recursive Functions.
Ann. Pure Appl. Logic 83(3): 199-223 (1997) |
| 13 | | Andreas Weiermann:
Sometimes Slow Growing is Fast Growing.
Ann. Pure Appl. Logic 90(1-3): 91-99 (1997) |
| 12 | EE | Andreas Weiermann:
A proof of strongly uniform termination for Gödel's TT by methods from local predicativity.
Arch. Math. Log. 36(6): 445-460 (1997) |
| 1996 |
|---|
| 11 | EE | Arnold Beckmann,
Andreas Weiermann:
A term rewriting characterization of the polytime functions and related complexity classes.
Arch. Math. Log. 36(1): 11-30 (1996) |
| 10 | | Andreas Weiermann:
How to Characterize Provably Total Functions by Local Predicativity.
J. Symb. Log. 61(1): 52-69 (1996) |
| 1995 |
|---|
| 9 | EE | Andreas Weiermann:
Termination Proofs for Term Rewriting Systems by Lexicographic Path Orderings Imply Multiply Recursive Derivation Lengths.
Theor. Comput. Sci. 139(1&2): 355-362 (1995) |
| 1994 |
|---|
| 8 | | Andreas Weiermann:
Complexity Bounds for Some Finite Forms of Kruskal's Theorem.
J. Symb. Comput. 18(5): 463-488 (1994) |
| 7 | | Andreas Weiermann:
A Functorial Property of the Aczel-Buchholz-Feferman Function.
J. Symb. Log. 59(3): 945-955 (1994) |
| 6 | | Adam Cichon,
Wilfried Buchholz,
Andreas Weiermann:
A Uniform Approach to Fundamental Sequences and Hierarchies.
Math. Log. Q. 40: 273-286 (1994) |
| 1993 |
|---|
| 5 | | Michael Rathjen,
Andreas Weiermann:
Proof-Theoretic Investigations on Kruskal's Theorem.
Ann. Pure Appl. Logic 60(1): 49-88 (1993) |
| 4 | | Andreas Weiermann:
Bounds for the Closure Ordinals of Essentially Monotonic Increasing Functions.
J. Symb. Log. 58(2): 664-671 (1993) |
| 3 | | Andreas Weiermann:
A Simplified Functorial Construction of the Veblen Hierarchy.
Math. Log. Q. 39: 269-273 (1993) |
| 2 | | Andreas Weiermann:
An Order-Theoretic Characterization of the Schütte-Veblen-Hierarchy.
Math. Log. Q. 39: 367-383 (1993) |
| 1991 |
|---|
| 1 | | Andreas Weiermann:
Proving Termination for Term Rewriting Systems.
CSL 1991: 419-428 |
