# Some results on cut-elimination, provable well-orderings, induction and reflection

##### Citations

339 citations

28 citations

### Additional excerpts

...Let s, t be 3...

[...]

26 citations

18 citations

### Cites background or methods or result from "Some results on cut-elimination, pr..."

...de (1)The results for sΣbm(X)-L IND are part of the authors dissertation [3]; the results for sΣbm(X)-L IND base on results of Arai [1]....

[...]

...One half of these results are part of the author’s dissertation [3], the other half bases on results due to Arai [1]....

[...]

...We will start this section computing upper bounds on dynamic ordinals for theories sΣm(X)-L IND by applying results from Arai [1], section 2....

[...]

...Furthermore, we will use results from Arai [1] to obtain DO(T 0 2 (X)) ≡ {λn....

[...]

...By investigations from Arai [1], section 2....

[...]

18 citations

### Cites background or methods from "Some results on cut-elimination, pr..."

...3 of [2] by a given arithmetic formula A....

[...]

...This is seen as in [5] and [2]: Replace the parameter variable X in Subsection 6....

[...]

##### References

3,089 citations

2,632 citations

1,551 citations

[...]

1,381 citations

909 citations