Measure independent Gödel speed‐ups and the relative difficulty of recognizing sets (Q4304121)
From MaRDI portal
scientific article; zbMATH DE number 635982
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Measure independent Gödel speed‐ups and the relative difficulty of recognizing sets |
scientific article; zbMATH DE number 635982 |
Statements
Measure independent Gödel speed‐ups and the relative difficulty of recognizing sets (English)
0 references
1993
0 references
speed-up theorems
0 references
length of proof
0 references
speedable set
0 references
Blum complexity measure
0 references
