The jump of a Σ<sub> <i>n</i> </sub> -cut (Q5308178)
From MaRDI portal
scientific article; zbMATH DE number 5196118
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The jump of a Σ<sub> <i>n</i> </sub> -cut |
scientific article; zbMATH DE number 5196118 |
Statements
The jump of a Σ<sub> <i>n</i> </sub> -cut (English)
0 references
27 September 2007
0 references
proof-theoretic strength
0 references
jump classes
0 references
Turing degrees
0 references
fragments of Peano arithmetic
0 references
induction
0 references
