T. Arai, On the Slowly Well Orderedness of ??o, MLQ, vol.48, issue.1, pp.125-130, 2002.
DOI : 10.1002/1521-3870(200201)48:1<125::AID-MALQ125>3.0.CO;2-N

A. Bovykin and A. Weiermann, Unprovability, phase transitions and the Riemann zeta function. To appear in the proceedings of: New directions in the theory of universal Zeta-and L-functions

W. Buchholz, E. A. Cichon, and A. Weiermann, A Uniform Approach to Fundamental Sequences and Hierarchies, Mathematical Logic Quarterly, vol.234, issue.2, pp.273-286, 1994.
DOI : 10.1002/malq.19940400212

. Ph, R. Flajolet, and . Sedgewick, Analytic Combinatorics, 2009.

H. Friedmanvancouver and B. C. , Some systems of second order arithmetic and their use, Proc. of the International Congress of Mathematicians, pp.235-242, 1974.

H. Friedman, Systems of second order arithmetic with restricted induction, I, II, Meeting of the Association for Symbolic Logic, Journ. of Symb. Log, vol.41, issue.2, pp.557-559, 1976.

L. Gordeev, Generalizations of the one-dimensional version of the Kruskal-Friedman theorems, The Journal of Symbolic Logic, vol.33, issue.01, pp.100-121, 1987.
DOI : 10.1016/0168-0072(88)90055-3

L. Gordeev, Abstract, The Journal of Symbolic Logic, vol.52, issue.01, pp.55-157, 1990.
DOI : 10.1016/0168-0072(88)90055-3

L. Gordeev, Quasi-ordinals and proof theory, Proc. Conference on Graph Minors, pp.485-494, 1993.
DOI : 10.1090/conm/147/01194

L. Gordeev, A modified sentence unprovable in PA, The Journal of Symbolic Logic, vol.54, issue.04, pp.1154-1157, 1994.
DOI : 10.1112/blms/14.4.285

L. Kirby and J. Paris, Accessible Independence Results for Peano Arithmetic, Bulletin of the London Mathematical Society, vol.14, issue.4, pp.285-293, 1982.
DOI : 10.1112/blms/14.4.285

I. Kriz, Well-Quasiordering Finite Trees with Gap-Condition. Proof of Harvey Friedman's Conjecture, The Annals of Mathematics, vol.130, issue.1, pp.215-226, 1989.
DOI : 10.2307/1971481

A. Montalbán, Computable Linearizations of Well-partial-orderings, Order, vol.20, issue.2, pp.39-48, 2007.
DOI : 10.1007/s11083-007-9058-0

J. Paris and L. Harrington, A Mathematical Incompleteness in Peano Arithmetic, Handbook of Mathematical Logic, 1977.
DOI : 10.1016/S0049-237X(08)71130-3

S. G. Simpson, Subsystems of second order arithmetic, Perspectives in Logic, 2009.

R. Smith, The Consistency Strengths of Some Finite Forms of the Higman and Kruskal Theorems, Harvey Friedman's Research on the Foundations of Mathematics, pp.119-136, 1985.
DOI : 10.1016/S0049-237X(09)70157-0

A. Weiermann, Abstract, The Journal of Symbolic Logic, vol.95, issue.01, pp.5-16, 2003.
DOI : 10.1016/0168-0072(94)00003-L

A. Weiermann, A classification of rapidly growing Ramsey functions, Proc. Amer, pp.553-561, 2004.

A. Weiermann, Abstract, Bulletin of Symbolic Logic, vol.1407, issue.02, pp.177-190, 2006.
DOI : 10.1016/j.apal.2005.05.012

A. Weiermann, Phase transition thresholds for some Friedman-style independence results, MLQ, vol.16, issue.1, pp.4-18, 2007.
DOI : 10.1002/malq.200610022

A. Weiermann, Phase transitions for G??del incompleteness, Annals of Pure and Applied Logic, vol.157, issue.2-3, pp.281-296, 2009.
DOI : 10.1016/j.apal.2008.09.012