Timeline for How necessary is Godel's Condensation Lemma
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 27, 2014 at 0:50 | answer | added | Nik Weaver | timeline score: 4 | |
| Jun 26, 2014 at 23:13 | answer | added | Noah Schweber | timeline score: 1 | |
| Jun 26, 2014 at 22:06 | comment | added | Asaf Karagila♦ | You can also use the Condescension Lemma for a very quick proof. For example, "Q: Why does $L$ satisfy $\sf CH$?", "A: Pfft, if you have to ask, you wouldn't get it anyway". | |
| Jun 26, 2014 at 22:00 | comment | added | Asaf Karagila♦ | You can make it "Reductio ad Previousium" where you argue that if $L\models\lnot\sf CH$, then all the previous proofs were wrong, and that's impossible. ;-) | |
| Jun 26, 2014 at 21:02 | comment | added | Noah Schweber | I strongly suspect that there is no such argument, but I've upvoted because if there is one I'd love to hear it. | |
| Jun 26, 2014 at 20:15 | history | asked | Ari Herman | CC BY-SA 3.0 |