14 results
A WALK WITH GOODSTEIN
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 30 / Issue 1 / March 2024
 Published online by Cambridge University Press:
 17 January 2024, pp. 119
 Print publication:
 March 2024

 Article

 You have access
 HTML
 Export citation
GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
 Published online by Cambridge University Press:
 02 July 2021, pp. 168186
 Print publication:
 June 2021

 Article
 Export citation
How to characterize provably total functions
 from Part II  Contributed Papers


 Book:
 Gödel '96
 Published online:
 23 March 2017
 Print publication:
 02 March 2017, pp 205213

 Chapter
 Export citation
Analytic combinatorics of the transfinite: A unifying Tauberian perspective


 Book:
 Logic Colloquium 2007
 Published online:
 01 March 2011
 Print publication:
 07 June 2010, pp 238267

 Chapter
 Export citation
An extremely sharp phase transition threshold for the slow growing hierarchy

 Journal:
 Mathematical Structures in Computer Science / Volume 16 / Issue 5 / October 2006
 Published online by Cambridge University Press:
 11 October 2006, pp. 925946

 Article
 Export citation
Classifying the Provably Total Functions of PA

 Journal:
 Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
 Published online by Cambridge University Press:
 15 January 2014, pp. 177190
 Print publication:
 June 2006

 Article
 Export citation
A very slow growing hierarchy for
 from RESEARCH ARTICLES


 Book:
 Logic Colloquium '99
 Published online:
 30 March 2017
 Print publication:
 02 March 2004, pp 182199

 Chapter
 Export citation
An application of graphical enumeration to PA*

 Journal:
 The Journal of Symbolic Logic / Volume 68 / Issue 1 / March 2003
 Published online by Cambridge University Press:
 12 March 2014, pp. 516
 Print publication:
 March 2003

 Article
 Export citation
Toshiyasu Arai. Consistency proof via pointwise induction. Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 149–165.

 Journal:
 Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
 Published online by Cambridge University Press:
 15 January 2014, pp. 536537
 Print publication:
 December 2002

 Article
 Export citation
Some interesting connections between the slow growing hierarchy and the Ackermann function

 Journal:
 The Journal of Symbolic Logic / Volume 66 / Issue 2 / June 2001
 Published online by Cambridge University Press:
 12 March 2014, pp. 609628
 Print publication:
 June 2001

 Article
 Export citation
How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study

 Journal:
 The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
 Published online by Cambridge University Press:
 12 March 2014, pp. 13481370
 Print publication:
 December 1998

 Article
 Export citation
How to characterize provably total functions by local predicativity

 Journal:
 The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
 Published online by Cambridge University Press:
 12 March 2014, pp. 5269
 Print publication:
 March 1996

 Article
 Export citation
A functorial property of the AczelBuchholzFeferman function

 Journal:
 The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
 Published online by Cambridge University Press:
 12 March 2014, pp. 945955
 Print publication:
 September 1994

 Article
 Export citation
Bounds for the closure ordinals of essentially monotonic increasing functions

 Journal:
 The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
 Published online by Cambridge University Press:
 12 March 2014, pp. 664671
 Print publication:
 June 1993

 Article
 Export citation