2012
DOI: 10.1016/j.apal.2011.11.004
|View full text |Cite
|
Sign up to set email alerts
|

Streamlined subrecursive degree theory

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
5

Citation Types

1
29
0

Year Published

2012
2012
2021
2021

Publication Types

Select...
5
1

Relationship

1
5

Authors

Journals

citations
Cited by 13 publications
(30 citation statements)
references
References 7 publications
1
29
0
Order By: Relevance
“…Further results on slow provability can be found in work of Henk and Pakhomov [13]. To conclude this paper, let us rephrase our computational analysis in terms of subrecursive degree theory (see [24]): Proof. First we must verify that F ⋄ ε0 and F ε0 are honest functions (in the sense of [24]).…”
Section: The Provably Total Functions Of Slow Reflectionmentioning
confidence: 99%
See 4 more Smart Citations
“…Further results on slow provability can be found in work of Henk and Pakhomov [13]. To conclude this paper, let us rephrase our computational analysis in terms of subrecursive degree theory (see [24]): Proof. First we must verify that F ⋄ ε0 and F ε0 are honest functions (in the sense of [24]).…”
Section: The Provably Total Functions Of Slow Reflectionmentioning
confidence: 99%
“…We need to see that this remains valid when one adds the base function F ⋄ ε0 (both as an axiom and as initial function of the fast-growing hierarchy). Indeed a general result to this effect is shown as part of the proof of [24,Theorem 16]. However, in [24] the approach to the fast-growing hierarchy is somewhat different: The paper works with norms of ordinals rather than explicit fundamental sequences.…”
Section: The Provably Total Functions Of Slow Reflectionmentioning
confidence: 99%
See 3 more Smart Citations