Timeline for Pointwise definable models of determinacy
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 10, 2020 at 23:43 | vote | accept | Dmytro Taranovsky | ||
| Mar 10, 2020 at 1:49 | answer | added | Gabe Goldberg | timeline score: 5 | |
| Mar 10, 2020 at 0:27 | comment | added | William | Your first paragraph reminds me of Lemma 2.17 and 2.25 of the Koellner-Woodin handbook article; however, they are using parameters from $\mathbb{R}$ and their language includes a predicate for the set of reals. With the use of these parameters, Lemma 2.25 says your set is equal to $L_\alpha(\mathbb{R})$. | |
| Mar 9, 2020 at 19:45 | history | asked | Dmytro Taranovsky | CC BY-SA 4.0 |