Timeline for Source for NBG+Equipollence conservative over ZFC?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 19, 2017 at 11:51 | comment | added | Joel David Hamkins | See also Victoria Gitman's nice blog post containing a full account of this proof: boolesrings.org/victoriagitman/2013/10/09/… (and click through to the second post) | |
| Apr 6, 2012 at 16:12 | vote | accept | Richard Rast | ||
| Apr 6, 2012 at 16:12 | comment | added | Richard Rast | This is the forcing I wanted to do, but unfortunately I lacked the background to prove (to my own satisfaction) that it actually works. | |
| Apr 6, 2012 at 15:53 | answer | added | Emil Jeřábek | timeline score: 11 | |
| Apr 6, 2012 at 15:50 | comment | added | François G. Dorais | I don't have the reference handy, but the forcing consists of all set-sized partial injections from $\mathbf{ON}$ to $\mathbf{V}$, ordered by extension. Since this is $\kappa$-closed for all $\kappa$, no new sets are added in the forcing extension, and the generic is a bijection from $\mathbf{ON}$ to $\mathbf{V}$. | |
| Apr 6, 2012 at 15:16 | history | asked | Richard Rast | CC BY-SA 3.0 |