Timeline for Generic Ultrapower as a Class
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Apr 15, 2014 at 18:27 | comment | added | Victoria Gitman | I just wanted to note that it is still open whether ground model definability holds for models of just $ZF$. It is not known whether every forcing extension $M[G]$ of $M\models ZF$ can define $M$. | |
| Apr 15, 2014 at 0:37 | comment | added | Joel David Hamkins | @Ashutosh, I added some references. A complete proof is found in Laver's paper, and also in Reitz's work and elsewhere. | |
| Apr 15, 2014 at 0:31 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 395 characters in body
|
| Apr 15, 2014 at 0:27 | comment | added | Ashutosh | Joel, can you give some ideas/reference on how Laver-Woodin result is proved? | |
| Apr 15, 2014 at 0:23 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |