Timeline for When can we reach a real by forcing?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 14, 2017 at 8:28 | answer | added | Ralf Schindler | timeline score: 5 | |
| Dec 26, 2014 at 23:46 | vote | accept | Noah Schweber | ||
| Nov 30, 2014 at 11:16 | answer | added | Mohammad Golshani | timeline score: 3 | |
| Nov 30, 2014 at 5:01 | comment | added | Asaf Karagila♦ | Related: mathoverflow.net/questions/139536/… | |
| Nov 30, 2014 at 3:15 | answer | added | Joel David Hamkins | timeline score: 6 | |
| Nov 29, 2014 at 23:35 | comment | added | Noah Schweber | D'oh, of course $0^\#$ is a counterexample. By "what conditions," I meant restrictions on $r$ which do not, on the face of things, have to do with $r$ living in some generic extension. For example: "if $r$ is in an inner model of $V$ not containing $0^\#$" would be such a condition. | |
| Nov 29, 2014 at 23:31 | comment | added | Monroe Eskew | $0^\sharp$ is a counterexample. I'm not sure what you're looking for by asking "under what conditions," because you've just described the conditions, in a way that is perfectly definable in $V$. | |
| Nov 29, 2014 at 23:03 | history | asked | Noah Schweber | CC BY-SA 3.0 |