A jump operator for subrecursion theories (Q4262563)
From MaRDI portal
scientific article; zbMATH DE number 1335186
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A jump operator for subrecursion theories |
scientific article; zbMATH DE number 1335186 |
Statements
A jump operator for subrecursion theories (English)
0 references
3 February 2000
0 references
subrecursion theories
0 references
subrecursive jump operator
0 references
subrecursive jump hierarchy
0 references
fast growing hierarchy
0 references
