Timeline for Stronger exact pairs
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 13, 2019 at 9:18 | answer | added | Theodore Slaman | timeline score: 5 | |
| May 20, 2019 at 9:15 | comment | added | Noah Schweber | I suspect that for $g$ sufficiently Cohen generic, the real $z=(x\Delta g)\oplus (y\Delta g)$ will fail to compute $x$ (or $y$) even from finitely many of the $a_i$s; since $z\oplus x$ and $z\oplus y$ each compute $x\oplus y$, this would give the expected negative answer. But I don't yet see how to show this (in particular, the naive forcing analysis just gets us $(x\Delta y)\oplus a_1\oplus ...\oplus a_n\equiv_Tx\oplus y$ for some $n$, which is entirely possible). | |
| May 20, 2019 at 8:30 | review | First posts | |||
| May 20, 2019 at 8:36 | |||||
| May 20, 2019 at 8:26 | history | asked | Bran | CC BY-SA 4.0 |