Timeline for A better way to explain forcing?
Current License: CC BY-SA 4.0
16 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 23, 2020 at 0:36 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 40 characters in body
|
| Aug 23, 2020 at 0:28 | comment | added | Gabe Goldberg | @MattF Thanks for pointing out that typo. The question asks for a way of recovering the forcing machinery from the proof that forcing preserves ZFC. That's all I tried to accomplish in my answer. $\Vdash$ is motivated by a natural question: what can we conclude about a good extension $M[G]$ given that $p\in G$? We allow terms for elements of $M[G]$, elements of $M$, and a constant for $G$. This notation is used to express hypotheses on good $G$. The first three hypotheses are exactly what's required for the short proof that $M[G]$ satisfies ZFC. And $\dot{G}$ is pronounced "gee dot." | |
| Aug 23, 2020 at 0:09 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 14 characters in body
|
| Aug 22, 2020 at 16:15 | comment | added | Timothy Chow | @MattF. : I think I can answer the first question, which is that the intent was to say "for all good $G$ containing $p$." | |
| Aug 22, 2020 at 7:56 | comment | added | user44143 | As someone who has never found forcing intuitive...I lose you at the word “write”. Why do we say “write $p$...” when the definition does not involve $p$? How are we supposed to pronounce this $\dot G$? Why did we switch from figuring out which sets are good to figuring out which $\sigma$ and $a$ satisfy a criterion for all good sets? | |
| Aug 22, 2020 at 4:33 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
edited body
|
| Aug 21, 2020 at 15:08 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 22 characters in body
|
| Aug 21, 2020 at 13:14 | comment | added | Timothy Chow | Yes, thank you, this is in the direction I want! | |
| Aug 21, 2020 at 7:15 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
deleted 5 characters in body
|
| Aug 21, 2020 at 6:49 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
deleted 2391 characters in body
|
| Aug 21, 2020 at 6:43 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
deleted 2391 characters in body
|
| Aug 21, 2020 at 6:15 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 19 characters in body
|
| Aug 21, 2020 at 6:10 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 19 characters in body
|
| Aug 21, 2020 at 5:55 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 19 characters in body
|
| Aug 21, 2020 at 5:50 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 19 characters in body
|
| Aug 21, 2020 at 5:43 | history | answered | Gabe Goldberg | CC BY-SA 4.0 |