Timeline for Inner model of "CH + large cardinals" that satisfies MM?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 25 at 15:28 | comment | added | Monroe Eskew | Here is a proof of $\Sigma^2_1$ absolulteness. arxiv.org/abs/1005.4193 Farah has another paper show this using a saturated ideal instead of the extender algebra: mathscinet.ams.org/mathscinet-getitem?mr=2322360 | |
| Jul 25 at 13:30 | history | asked | sobach'e_pole | CC BY-SA 4.0 |