Timeline for Is it true that $\operatorname{ZF} \vdash L \cap P(L_\alpha) \subseteq L_\kappa$ for all $\alpha < \kappa$ for all cardinals $\kappa$?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 2 at 16:30 | comment | added | Andreas Blass | Since the question asks about provability in ZF, not ZFC, it seems worth noting that the absence of AC does no harm to this argument, because $L$ is well-orderable even without AC. | |
| Sep 2 at 2:01 | vote | accept | Jesse Elliott | ||
| Sep 2 at 0:49 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |