Timeline for Existence of inner models of $\mathrm{ZFC} \ +$ forcing axioms, under incompatible assumptions
Current License: CC BY-SA 4.0
7 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 5, 2021 at 16:57 | answer | added | Gabe Goldberg | timeline score: 6 | |
Apr 1, 2021 at 11:03 | comment | added | Asaf Karagila♦ | Well, if Woodin's Ultimate-$L$ project will bear fruits, then the answer to your second question is positive. | |
Apr 1, 2021 at 11:02 | comment | added | Zoorado | I think fine-structural is a good description. | |
Apr 1, 2021 at 10:38 | comment | added | Asaf Karagila♦ | What exactly is $L$-like? Fine structural? $L[x]$? | |
Apr 1, 2021 at 9:41 | vote | accept | Zoorado | ||
Apr 1, 2021 at 9:37 | answer | added | Monroe Eskew | timeline score: 10 | |
Apr 1, 2021 at 9:04 | history | asked | Zoorado | CC BY-SA 4.0 |