Timeline for Is this version of van der Waerden's Theorem consistent with ZFC?
Current License: CC BY-SA 3.0
8 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 13, 2017 at 12:57 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
May 18, 2015 at 19:10 | history | edited | GH from MO |
edited tags
|
|
May 18, 2015 at 18:43 | vote | accept | Will Brian | ||
May 18, 2015 at 18:30 | answer | added | Joel David Hamkins | timeline score: 5 | |
May 18, 2015 at 16:35 | history | edited | Will Brian | CC BY-SA 3.0 |
deleted 407 characters in body
|
May 18, 2015 at 16:33 | comment | added | Will Brian | Yes, you're right -- my bad. I'll edit accordingly. | |
May 18, 2015 at 16:29 | comment | added | Joel David Hamkins | Your argument at the end about downward absoluteness seems to work provided that $\omega_1$ is also absolute to the ground model. But it is possible that $\omega_1^L$ is much smaller than $\omega_1$ in $V$. So I'm not sure your claims about $V=L$ at the end are quite right. | |
May 18, 2015 at 15:22 | history | asked | Will Brian | CC BY-SA 3.0 |