Timeline for What is the descriptive complexity of a set added by Cohen forcing?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 30, 2016 at 20:58 | comment | added | Goldstern | Nowhere, I think. It is not even ordinal definable. | |
| Nov 30, 2016 at 20:49 | comment | added | fhyve | I'm interested in the lightface hierarchy and arithmetic. $c$ is also a subset of the natural numbers by the obvious bijection with the reals. Where does it fit in the lightface hierarchy? | |
| Nov 30, 2016 at 14:44 | history | answered | Goldstern | CC BY-SA 3.0 |