Timeline for Automorphism group of the Turing degrees
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 5, 2018 at 19:22 | vote | accept | Noah Schweber | ||
| Jun 5, 2018 at 2:39 | answer | added | Bjørn Kjos-Hanssen | timeline score: 6 | |
| Mar 19, 2014 at 18:14 | comment | added | Noah Schweber | "The Turing degrees" refers to the poset of the Turing degrees - this is a standard term, and its standard meaning, in computability theory. Note that trivially the join is definable, and by results of (oh dear, I'm probably missing someone) Woodin, Slaman, and Shore, the jump is definable in this partial order; so really the poset structure already captures all the 'basic' operations on the degrees. | |
| Mar 19, 2014 at 18:05 | comment | added | YCor | I'm trying to figure out a precise sense for the loose term "the turing degrees". Do you mean the set of Turing degrees? Endowed with which structure? the partial order? | |
| Mar 19, 2014 at 7:15 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 3.0 |
capitalization
|
| Jan 23, 2013 at 19:05 | comment | added | Andrés E. Caicedo | The key question here is the bi-interpretability conjecture, but as far as I know there is no concrete (interesting) information on what groups are known to be excluded as candidates. | |
| Jan 23, 2013 at 19:03 | comment | added | Andrés E. Caicedo | Yes, your understanding is correct. This is proved (among many other related results) in Ted and Hugh's notes "Definability in degree structures", available at math.berkeley.edu/~slaman/talks | |
| Jan 23, 2013 at 18:38 | history | asked | Noah Schweber | CC BY-SA 3.0 |