View:
- no detail
- some detail
- full detail
Some advanced computability theory
André Nies
in Computability and Randomness
- Published in print:
- 2009
- Published Online:
- May 2009
- ISBN:
- 9780199230761
- eISBN:
- 9780191710988
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199230761.003.0006
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy
This chapter develops the language of building Turing functionals which is used to characterize promptly simple degrees by low cuppability, and to prove the pseudo-jump inversion theorem of Jockusch ... More
View:
- no detail
- some detail
- full detail