16 results
Functorial Fast-Growing Hierarchies
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 12 / 2024
- Published online by Cambridge University Press:
- 26 January 2024, e15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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. 1-19
- Print publication:
- March 2024
-
- Article
- 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. 168-186
- 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 205-213
-
- 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 238-267
-
- 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. 925-946
-
- 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. 177-190
- 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 182-199
-
- 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. 5-16
- 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. 536-537
- 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. 609-628
- Print publication:
- June 2001
-
- Article
- Export citation
What Makes A (Pointwise) Subrecursive Hierarchy Slow Growing?
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 403-424
-
- Chapter
- 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. 1348-1370
- 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. 52-69
- Print publication:
- March 1996
-
- Article
- Export citation
A functorial property of the Aczel-Buchholz-Feferman function
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 945-955
- 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. 664-671
- Print publication:
- June 1993
-
- Article
- Export citation