SULJE VALIKKO

avaa valikko

Keng Meng Ng | Akateeminen Kirjakauppa

MINIMAL WEAK TRUTH TABLE DEGREES AND COMPUTABLY ENUMERABLE TURING DEGREES

Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees
Rodney G. Downey; Keng Meng Ng; Reed Solomon
American Mathematical Society (2021)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
88,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees
88,80 €
American Mathematical Society
Sivumäärä: 90 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2021, 30.01.2021 (lisätietoa)
Kieli: Englanti
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees
Näytä kaikki tuotetiedot
ISBN:
9781470441623
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste