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
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 ,
A Uniform Approach to Fundamental Sequences and Hierarchies, Mathematical Logic Quarterly, vol.234, issue.2, pp.273-286, 1994. ,
DOI : 10.1002/malq.19940400212
Analytic Combinatorics, 2009. ,
Some systems of second order arithmetic and their use, Proc. of the International Congress of Mathematicians, pp.235-242, 1974. ,
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. ,
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
Abstract, The Journal of Symbolic Logic, vol.52, issue.01, pp.55-157, 1990. ,
DOI : 10.1016/0168-0072(88)90055-3
Quasi-ordinals and proof theory, Proc. Conference on Graph Minors, pp.485-494, 1993. ,
DOI : 10.1090/conm/147/01194
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
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
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
Computable Linearizations of Well-partial-orderings, Order, vol.20, issue.2, pp.39-48, 2007. ,
DOI : 10.1007/s11083-007-9058-0
A Mathematical Incompleteness in Peano Arithmetic, Handbook of Mathematical Logic, 1977. ,
DOI : 10.1016/S0049-237X(08)71130-3
Subsystems of second order arithmetic, Perspectives in Logic, 2009. ,
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
Abstract, The Journal of Symbolic Logic, vol.95, issue.01, pp.5-16, 2003. ,
DOI : 10.1016/0168-0072(94)00003-L
A classification of rapidly growing Ramsey functions, Proc. Amer, pp.553-561, 2004. ,
Abstract, Bulletin of Symbolic Logic, vol.1407, issue.02, pp.177-190, 2006. ,
DOI : 10.1016/j.apal.2005.05.012
Phase transition thresholds for some Friedman-style independence results, MLQ, vol.16, issue.1, pp.4-18, 2007. ,
DOI : 10.1002/malq.200610022
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