Active Bibliography

MSc in Logic – Willem M. Baartse - 2011
4 A Survey of Recursive Combinatorics – William Gasarch
11 A classification of rapidly growing Ramsey functions – Andreas Weiermann - 2003
6 On the logical strength of Nash-Williams’ theorem on transfinite sequences – Alberto Marcone - 1996
3 Worms, gaps and hydras – Lorenzo Carlucci - 2005
Long – Andrey Bovykin, Lorenzo Carlucci
1 Applications of inductive definitions and choice principles to program synthesis – Ulrich Berger, Monika Seisenberger
7 An intuitionistic proof of Kruskal's Theorem – Wim Veldman, Wim Veldman, Subfaculteit Wiskunde - 2000
On the Independence of Goodstein's Theorem – Justin T. Miller
A Glimpse at Veblen Hierarchies – n.n.
Ways of Proof Theory – n.n. - 2010
8 Does Mathematics Need New Axioms? – Solomon Feferman - 1999
2 On Fraïssé’s conjecture for linear orders of finite Hausdorff rank – Alberto Marcone, Antonio Montalbán
Polynomial equations with quantifier-prefixes – Andrey Bovykin, Michiel De Smet - 2010
9 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
A Model Theoretic Analysis of Non-Provability in Arithmetic – Shai Ben-david, Michal Dvir
3 Unprovability of sharp versions of Friedman’s sine-principle – Andrey Bovykin - 2007