Timeline for Taller models of ZFC
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 30, 2016 at 10:08 | history | edited | Ali Enayat | CC BY-SA 3.0 |
added 6 characters in body
|
| Jan 29, 2016 at 20:27 | history | edited | Ali Enayat | CC BY-SA 3.0 |
added 8 characters in body
|
| Jan 29, 2016 at 19:53 | comment | added | Ali Enayat | @Andreas Blass; Thanks Andreas, I meant to have written ZFC + V=L, I will fix it. | |
| Jan 29, 2016 at 19:50 | comment | added | Andreas Blass | In your answer to Question 1, I think you meant to say only that $\alpha$ is the only possible height for a transitive model in $L(\beta)$, not that $L(\alpha)$ is the only possible model. Since $L(\beta)$ thinks $L(\alpha)$ is countable, it contains al sorts of forcing extensions of $L(\alpha)$. | |
| Jan 29, 2016 at 19:48 | vote | accept | Mirco A. Mannucci | ||
| Jan 29, 2016 at 19:10 | history | answered | Ali Enayat | CC BY-SA 3.0 |