Timeline for Why "adding" a single extender cannot give an L-like inner model for say, a strong cardinal?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 18, 2021 at 22:48 | comment | added | Gabe Goldberg | No, I think it's just one of those never-to-be-published theorems... | |
| Jul 17, 2021 at 21:09 | comment | added | Noah Schweber | Is there a proof of Theorem 4.20 available somewhere? | |
| Jul 17, 2021 at 21:01 | history | answered | Gabe Goldberg | CC BY-SA 4.0 |