Timeline for Dependent choices (DC) in ${\bf HOD}(\mathbb{R},X)$, where $X$ is a set of reals
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 10, 2021 at 18:25 | vote | accept | Ramez L. Sami | ||
| May 10, 2021 at 17:53 | comment | added | Ramez L. Sami | Thanks for the example. I did think, at first hand, that what is stated couldn't be literally true. It would imply "ZF + AD $\vdash \text{DC}_\mathbf{R}$". Which, as far I know, is a long standing open problem. This was also noticed above. My hesitation is due to the distinguished signatures, of the paper. | |
| May 10, 2021 at 14:34 | history | answered | Asaf Karagila♦ | CC BY-SA 4.0 |