A classification of jump operators (Q3037408)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A classification of jump operators |
scientific article |
Statements
A classification of jump operators (English)
0 references
1982
0 references
jump operators
0 references
Turing degrees
0 references
Turing reducibility
0 references
determinacy
0 references
ordinal measure of strength for theories in the language of second order arithmetic
0 references
