Some Results on Measure Independent Godel Speed-Ups
Solomon, Martin K.
J. Symbolic Logic, Tome 43 (1978) no. 1, p. 667-672 / Harvested from Project Euclid
We study the measure independent character of Godel speed-up theorems. In particular, we strengthen Arbib's necessary condition for the occurrence of a Godel speed-up [2, p. 13] to an equivalence result and generalize Di Paola's speed-up theorem [4]. We also characterize undecidable theories as precisely those theories which possess consistent measure independent Godel speed-ups and show that a theory $\tau_2$ is a measure independent Godel speed-up of a theory $\tau_1$ if and only if the set of undecidable sentences of $\tau_1$ which are provable in $\tau_2$ is not recursively enumerable.
Publié le : 1978-12-14
Classification: 
@article{1183740313,
     author = {Solomon, Martin K.},
     title = {Some Results on Measure Independent Godel Speed-Ups},
     journal = {J. Symbolic Logic},
     volume = {43},
     number = {1},
     year = {1978},
     pages = { 667-672},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183740313}
}
Solomon, Martin K. Some Results on Measure Independent Godel Speed-Ups. J. Symbolic Logic, Tome 43 (1978) no. 1, pp.  667-672. http://gdmltest.u-ga.fr/item/1183740313/