Timeline for Why is Cohen's result insufficient to settle CH?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Jun 20, 2010 at 13:23 | history | edited | Carl Mummert | CC BY-SA 2.5 |
clarify transitive/generic
|
| Jun 20, 2010 at 12:58 | comment | added | Joel David Hamkins | You can use any ultrafilter on the Boolean algebra when taking the quotient of the Boolean-valued model, to get a 2-valued model. Nothing special is required. The problem is only that you may end up with a non-well-founded model. | |
| Jun 20, 2010 at 12:56 | comment | added | Joel David Hamkins | Carl, it seems we were writing at the same time! | |
| Jun 20, 2010 at 12:50 | history | answered | Carl Mummert | CC BY-SA 2.5 |