Timeline for When forcing with a poset, why do we order the poset in the order that we do?
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 12, 2010 at 14:24 | vote | accept | Oliver | ||
| Mar 11, 2010 at 20:48 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
added 1060 characters in body
|
| Mar 11, 2010 at 20:24 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
Added remark about Cohen's original article.
|
| Mar 11, 2010 at 19:42 | comment | added | Joel David Hamkins | I think it wasn't that much later (mid/late 60s). So the Boolean algebras were there when forcing was promoted by researchers such as Solovay. But the up/down controversy has been there from the start, with down currently predominating. | |
| Mar 11, 2010 at 19:27 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
added 452 characters in body
|
| Mar 11, 2010 at 19:25 | comment | added | Oliver | The Boolean algebra approach to forcing is a later development though, isn't it? So this can't have been Cohen's rationale. | |
| Mar 11, 2010 at 19:20 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |