Timeline for Can there be only one (uncountable transitive model of ZFC)?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 9, 2013 at 11:44 | comment | added | Joel David Hamkins | Very nice answer! In your first case, you get $2^{\omega_1}$ many models, arising from different choices of that diagonalization procedure. In the second case, with set forcing you'll get only continuum many models for each forcing notion, but I suppose one can look at class forcing over $M$ and then construct again $2^{\omega_1}$ many different forcing extensions. So isn't the "plethora" the same size in both cases? | |
| Dec 9, 2013 at 9:18 | vote | accept | Asaf Karagila♦ | ||
| Dec 9, 2013 at 8:40 | history | edited | François G. Dorais | CC BY-SA 3.0 |
cleanup
|
| Dec 9, 2013 at 8:10 | history | edited | François G. Dorais | CC BY-SA 3.0 |
plugged the last case...
|
| Dec 9, 2013 at 7:44 | history | answered | François G. Dorais | CC BY-SA 3.0 |