Timeline for $\Delta^1_2$-well ordering vs $\Delta^1_3$
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 15, 2012 at 17:41 | history | edited | Andrés E. Caicedo | CC BY-SA 3.0 |
Added some references, remarks, and links.
|
| Dec 15, 2012 at 17:23 | comment | added | Andrés E. Caicedo | Yes, the complication that needed Sy's techniques comes in trying to get MA as well, I'll edit to reflect this. | |
| Dec 15, 2012 at 17:18 | comment | added | 喻 良 | Andres, thanks! I just got the paper. It seems that Leo also proved the lightface $\Delta^1_3$ one in the same paper. | |
| Dec 15, 2012 at 17:15 | vote | accept | 喻 良 | ||
| Dec 15, 2012 at 17:14 | history | answered | Andrés E. Caicedo | CC BY-SA 3.0 |