Active Bibliography

3 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
7 The art of ordinal analysis – Michael Rathjen - 2006
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
On the Independence of Goodstein's Theorem – Justin T. Miller
11 Long Finite Sequences – Harvey M. Friedman - 1998
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
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
My Fourty Years on His Shoulders – Harvey M. Friedman - 2008
1. General Remarks. 2. The Completeness Theorem. 3. The First Incompleteness Theorem. 4. The Second Incompleteness Theorem. – Gödel Centenary - 2006
SHARP PHASE TRANSITION THRESHOLDS FOR THE PARIS HARRINGTON RAMSEY NUMBERS FOR A FIXED DIMENSION – Andreas Weiermann, Wim, Van Hoof, Communicated Julia Knight