Timeline for Is the forcing relation defined for mathematical formulas?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 16, 2014 at 22:38 | comment | added | Joel David Hamkins | In a recent paper, we analyze the exact complexity of the definition: jdh.hamkins.org/superstrong-never-indestructible. See also Victoria Gitman's account of the theorem at boolesrings.org/victoriagitman/2013/06/25/…, where she and Johnstone provide refinements for the ZFC- context. | |
| Feb 16, 2014 at 21:38 | comment | added | Carlos | Thank you, Joel. I did not know the result of Laver and Woodin, but I have found it in internet. | |
| Feb 16, 2014 at 21:36 | vote | accept | Carlos | ||
| Feb 16, 2014 at 22:39 | |||||
| Feb 16, 2014 at 13:17 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |