Jump to ContentJump to Main Navigation

You are looking at 1-1 of 1 items

  • Keywords: pseudo-jump inversion x
Clear All Modify Search

View:

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: