Timeline for Coding a model of $0^\sharp$ from a $\Pi^1_1$ Gale-Stewart game
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 25, 2013 at 3:02 | review | First posts | |||
| Jun 25, 2013 at 3:25 | |||||
| Jun 13, 2013 at 7:30 | vote | accept | Shehzad Ahmed | ||
| Jun 13, 2013 at 6:52 | answer | added | Andrés E. Caicedo | timeline score: 17 | |
| Jun 8, 2013 at 17:22 | comment | added | Shehzad Ahmed | That makes sense, thank you for the input. At the very worst, this suggests that the problem may be a fun one to play around with. | |
| Jun 8, 2013 at 14:37 | comment | added | Andreas Blass | I don't know any way to get $0^\#$ directly from a game, and I'm inclined to guess that no one else does either. The reasons for my guess are (1) this question has been here for a while (it's about to sink off the front page of MO) with no answer, and (2) the proof from $\Pi^1_1$ determinacy that $0^\#$ exists was, as you said, found by Harrington, not by Martin or Solovay. | |
| Jun 8, 2013 at 5:48 | history | edited | Shehzad Ahmed | CC BY-SA 3.0 |
added 172 characters in body
|
| Jun 8, 2013 at 5:30 | history | edited | Shehzad Ahmed | CC BY-SA 3.0 |
Clarified the question, and added some of my own thoughts.
|
| Jun 7, 2013 at 18:25 | history | asked | Shehzad Ahmed | CC BY-SA 3.0 |