Pages that link to "Item:Q3751574"
From MaRDI portal
The following pages link to A Connection Between Blum Speedable Sets and Gödel's Speed-Up Theorem (Q3751574):
Displaying 4 items.
- The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
- On recursive bounds for the exceptional values in speed-up (Q1334675) (← links)
- Relativized Gödel speed-up and the degree of succinctness of representations (Q3197811) (← links)
- Measure independent Gödel speed‐ups and the relative difficulty of recognizing sets (Q4304121) (← links)