Timeline for The stationary tower and supercompactness
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 5, 2018 at 11:53 | comment | added | Monroe Eskew | I would call the $\mathbb P_\infty$ embedding "virtually Reinhardt"! | |
| Nov 28, 2016 at 0:05 | vote | accept | Dan Saattrup Nielsen | ||
| Nov 28, 2016 at 0:04 | answer | added | Dan Saattrup Nielsen | timeline score: 2 | |
| Nov 20, 2016 at 21:40 | comment | added | Asaf Karagila♦ | @Yair: So the generic multiverse of a model with a proper class of Woodins is "Where the Wild Things Are"? | |
| Nov 20, 2016 at 15:20 | comment | added | Yair Hayut | This is probably weaker than it sounds. By the same arguments, one Woodin cardinal is enough in order to make $\omega_1$ "generically almost-huge". It is not as useful as it sounds, since the forcing that adds this embedding is very wild. | |
| Nov 19, 2016 at 16:49 | history | asked | Dan Saattrup Nielsen | CC BY-SA 3.0 |