Timeline for Models of Determinacy
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 14, 2013 at 22:07 | comment | added | Rachid Atmai | Thank you Andres. That's a really neat answer as usual. Indeed, the first part of my question was trivial, I didn't realize this, $L(\mathbb{R})$ is just a mouse over $\mathbb{R}$. I have all these references next to me. After having read the FSIT, Steve's and John's articles in the handbook, half of the CMIP, and some Cabal stuff, I didn't know exactly where to go here. In any case, Descriptive set theory and inner model theory, when put together, become a unified fascinating subject. I guess I am going to look at the derived models associated to mice now. | |
| Mar 14, 2013 at 21:42 | vote | accept | Rachid Atmai | ||
| Mar 14, 2013 at 21:29 | history | answered | Andrés E. Caicedo | CC BY-SA 3.0 |