Timeline for What is the descriptive complexity of a set added by Cohen forcing?
Current License: CC BY-SA 3.0
8 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 1, 2016 at 7:08 | vote | accept | fhyve | ||
Nov 30, 2016 at 20:55 | answer | added | Will Brian | timeline score: 8 | |
Nov 30, 2016 at 20:54 | answer | added | Andreas Blass | timeline score: 12 | |
Nov 30, 2016 at 20:51 | comment | added | fhyve | I am vaguely aware of it and I just looked it up. So forcing should not add $\Pi_2^1$ sets, and maybe $\Sigma_3^1$ sets? Then what sets does/can it add? | |
Nov 30, 2016 at 20:45 | history | edited | fhyve | CC BY-SA 3.0 |
added 111 characters in body
|
Nov 30, 2016 at 14:44 | answer | added | Goldstern | timeline score: 7 | |
Nov 30, 2016 at 12:09 | comment | added | Asaf Karagila♦ | Do you know Shoenfield's absoluteness theorem? | |
Nov 30, 2016 at 8:56 | history | asked | fhyve | CC BY-SA 3.0 |