Timeline for Non-Forcing and Independence
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 1, 2015 at 0:19 | comment | added | Asaf Karagila♦ | @Will: It's sort of cheating, since $\operatorname{Con}(\mathsf{ZFC})$ does in fact increase the consistency strength of the theory, whereas its negation does not. It feels a bit like cheating. | |
| Mar 1, 2015 at 0:11 | comment | added | Will Sawin | @AsafKaragila What's wrong with the second one? | |
| Feb 28, 2015 at 23:11 | comment | added | Asaf Karagila♦ | The Rosser sentence is a great example. The second one, not as much. | |
| Feb 28, 2015 at 22:48 | vote | accept | Kyle Gannon | ||
| Feb 28, 2015 at 21:59 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 405 characters in body
|
| Feb 28, 2015 at 21:44 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |