Active Bibliography

4 Boolean relation theory and . . . – Harvey M. Friedman - 2011
16 A classification of rapidly growing Ramsey functions – Andreas Weiermann - 2003
MSc in Logic – Willem M. Baartse - 2011
8 A Survey of Recursive Combinatorics – William Gasarch
A Glimpse at Veblen Hierarchies – n.n.
43 What's so special about Kruskal's Theorem AND THE ORDINAL Γ0? A SURVEY OF SOME RESULTS IN PROOF THEORY – Jean H. Gallier - 1991
9 On the logical strength of Nash-Williams’ theorem on transfinite sequences – Alberto Marcone - 1996
8 The Realm of Ordinal Analysis – Michael Rathjen - 1997
On the Independence of Goodstein's Theorem – Justin T. Miller
13 Long Finite Sequences – By Harvey Friedman, Harvey M. Friedman - 2001
1 THE MAXIMAL LINEAR EXTENSION THEOREM IN SECOND ORDER ARITHMETIC – Alberto Marcone, Richard, A. Shore
3 On Fraïssé’s conjecture for linear orders of finite Hausdorff rank – Alberto Marcone, Antonio Montalbán - 2007
4. The Second Incompleteness Theorem. 5. Lengths of Proofs. – Harvey M. Friedman - 2007
Ways of Proof Theory – n.n. - 2010
11 Does Mathematics Need New Axioms? – Solomon Feferman - 1999
Polynomial equations with quantifier-prefixes – Andrey Bovykin, Michiel De Smet - 2010
10 Coherent sequences – Stevo Todorcevic
SHARP PHASE TRANSITION THRESHOLDS FOR THE PARIS HARRINGTON RAMSEY NUMBERS FOR A FIXED DIMENSION – Andreas Weiermann, Wim, Van Hoof, Communicated Julia Knight
My Fourty Years on His Shoulders – Harvey M. Friedman - 2008