Timeline for A better way to explain forcing?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jul 8, 2023 at 3:23 | review | First answers | |||
| Jul 8, 2023 at 8:09 | |||||
| S Jul 8, 2023 at 3:23 | history | edited | new account | CC BY-SA 4.0 |
added 2 characters in body
|
| Jul 7, 2023 at 18:43 | history | edited | new account | CC BY-SA 4.0 |
added 605 characters in body
|
| Jul 7, 2023 at 18:34 | comment | added | new account | @NoahSchweber I meant due to the similarities between forcing and pre-Cohen work on BVMs, some people viewed Cohen's work as essentially present in the literature, so presumably BVMs did make it seem simpler | |
| Jul 7, 2023 at 18:29 | comment | added | Noah Schweber | "No intent to trivialize Cohen's accomplishments, but (something like) Boolean-valued models were long considered before him" But Cohen, if memory serves, didn't talk at all about BVMs; those were introduced into forcing by Scott and Solovay, if I have my history right. | |
| S Jul 7, 2023 at 18:12 | review | First answers | |||
| Jul 7, 2023 at 19:14 | |||||
| S Jul 7, 2023 at 18:12 | history | answered | new account | CC BY-SA 4.0 |