Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees
Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees
Click to enlarge
Author(s): Downey, Rodney G.
Reed Solomon
Rodney G. Downey
Solomon, Reed
ISBN No.: 9781470441623
Pages: 90
Year: 202101
Format: Trade Paper
Price: $ 139.95
Dispatch delay: Dispatched between 7 to 15 days
Status: Available

Two of the central concepts for the study of degree structures in computability theory are computably enumerable degrees and minimal degrees. For strong notions of reducibility, such as $m$-deducibility or truth table reducibility, it is possible for computably enumerable degrees to be minimal. For weaker notions of reducibility, such as weak truth table reducibility or Turing reducibility, it is not possible to combine these properties in a single degree. This book considers how minimal weak truth table degrees interact with computably enumerable Turing degrees and obtain three main results. First, there are sets with minimal weak truth table degree which bound noncomputable computably enumerable sets under Turing reducibility. Second, no set with computable enumerable Turing degree can have minimal weak truth table degree. Third, no $\Delta^0_2$ set which Turing bounds a promptly simple set can have minimal weak truth table degree.


To be able to view the table of contents for this publication then please subscribe by clicking the button below...
To be able to view the full description for this publication then please subscribe by clicking the button below...