Timeline for A better way to explain forcing?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 20, 2023 at 14:43 | comment | added | Rodrigo Freire | @TimothyChow A more general axiomatic approach to forcing can be found in the paper "An axiomatic approach to forcing in a general setting", BSL, 28, 3, 2022. doi.org/10.1017/bsl.2022.15 | |
| Oct 8, 2020 at 11:08 | history | edited | Rodrigo Freire | CC BY-SA 4.0 |
deleted 3 characters in body
|
| Aug 21, 2020 at 15:34 | vote | accept | Timothy Chow | ||
| Aug 20, 2020 at 21:54 | history | edited | Rodrigo Freire | CC BY-SA 4.0 |
deleted 40 characters in body
|
| Aug 20, 2020 at 21:11 | comment | added | Rodrigo Freire | I have tried to motivated the axioms in terms of control: The standard forcing-generic extension is a uniform adjuction of G, ground controlled by forcing. Axioms (1) to (8) are, I believe, not hard to motivate from this point of view. ( M[G] must be controlled from the ground in order to guarantee that G does not encode special properties one can only see from the outside and which would forbid M[G] to be a model). | |
| Aug 20, 2020 at 20:56 | comment | added | Timothy Chow | This is excellent! From an expository point of view, I still desire a further "reversal," namely motivating the axioms by the way they are used to prove that $M[G]$ satisfies ZFC, but your work is big step in the direction I was hoping for. | |
| Aug 20, 2020 at 19:57 | history | answered | Rodrigo Freire | CC BY-SA 4.0 |