Timeline for What Turing degree is this function?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 9, 2016 at 23:34 | vote | accept | ike | ||
| May 9, 2016 at 22:56 | comment | added | Bjørn Kjos-Hanssen | @JasonRute can you also obtain that it is a low degree? | |
| May 9, 2016 at 22:34 | comment | added | Jason Rute | One can even be a little more specific about $\textrm{deg}_T (\Gamma(\Omega))$. Since $\Gamma(\Omega)$ is truth-table reducible to a Martin-Löf random and is above $\mathbf{0}$, it follows that $\Gamma(\Omega)$ is Turing-equivalent to a Martin-Löf random by Demuth's theorem. | |
| May 9, 2016 at 22:21 | comment | added | Jason Rute | Someone (they probably don't want to be named) recently told me that they knew of a new Turing degree which comes from Chaitin's $\Omega$. I don't remember their construction, but it was quite natural. However, they soon realized that they were mistaken since their construction would result in different Turing degrees based on which Gödel numbering one used to define $\Omega$. | |
| May 9, 2016 at 18:25 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 3.0 |
more info
|
| May 9, 2016 at 17:53 | history | answered | Bjørn Kjos-Hanssen | CC BY-SA 3.0 |