Timeline for Forcing out of L[U] when we have a precipitous ideal in V
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 27 at 21:45 | vote | accept | Toby Meadows | ||
| Mar 27 at 21:45 | |||||
| Mar 25, 2022 at 9:56 | comment | added | Farmer S | Right, $0^\dagger$ suffices to get $\kappa_0<\kappa_0^{+L[U_0]}<\omega_1$. | |
| Mar 25, 2022 at 9:55 | history | edited | Farmer S | CC BY-SA 4.0 |
Dealing with $\kappa_0^{+L[U_0]}$
|
| Mar 25, 2022 at 8:30 | comment | added | Asaf Karagila♦ | So, really you're just assuming $0^\dagger$, right? | |
| Mar 24, 2022 at 23:23 | comment | added | Toby Meadows | Thanks. That's a very pleasing construction. | |
| Mar 24, 2022 at 16:44 | comment | added | Andrés E. Caicedo | I first saw the construction in Greg Hjorth's "The size of the ordinal $u_2$". | |
| Mar 24, 2022 at 13:06 | history | edited | Farmer S | CC BY-SA 4.0 |
added 119 characters in body
|
| Mar 24, 2022 at 12:55 | history | answered | Farmer S | CC BY-SA 4.0 |