Timeline for What is the Turing degree of the monadic theory of the real line?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 14, 2021 at 22:10 | history | edited | Noah Schweber |
edited tags
|
|
| S Mar 11, 2021 at 1:28 | history | bounty ended | Keshav Srinivasan | ||
| S Mar 11, 2021 at 1:28 | history | notice removed | Keshav Srinivasan | ||
| Mar 11, 2021 at 1:27 | vote | accept | Keshav Srinivasan | ||
| Mar 10, 2021 at 17:37 | answer | added | Dmytro Taranovsky | timeline score: 7 | |
| Mar 7, 2021 at 1:55 | comment | added | user44143 | Note the comment by @ErikWalsberg that "I don't think there has been any work on the monadic second order theory of the reals for a long time, people were probably scared off by the difficulty of the work of Shelah and Guervich", and his reference to open questions on these topics. (mathoverflow.net/questions/322883/…) There seem to be no surveys in the area from after 1985 (mathoverflow.net/questions/332867/…) | |
| Mar 6, 2021 at 22:31 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
WP link
|
| S Mar 6, 2021 at 21:42 | history | bounty started | Keshav Srinivasan | ||
| S Mar 6, 2021 at 21:42 | history | notice added | Keshav Srinivasan | Draw attention | |
| Mar 4, 2021 at 7:02 | history | asked | Keshav Srinivasan | CC BY-SA 4.0 |