Timeline for Can $V\neq\text{HOD}$ if every $\Sigma_2$-definable set has an ordinal-definable element?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 23, 2017 at 1:07 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
Gave paper reference
|
| Jun 18, 2017 at 17:16 | vote | accept | Joel David Hamkins | ||
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Sep 15, 2014 at 0:38 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 4836 characters in body
|
| Sep 14, 2014 at 17:18 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |