Timeline for Number of ultrafilters in an extender
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 5, 2019 at 21:07 | comment | added | Gabe Goldberg | This seems more subtle to me | |
| Apr 5, 2019 at 20:39 | comment | added | Otto | right of course. I meant to say if they represent ordinals in the same interval $[\kappa_k, \kappa_{k+1})$ | |
| Apr 5, 2019 at 20:33 | comment | added | Gabe Goldberg | There are distinct ordinals in the ultrapower by $E^2$ whose derived ultrafilters are equal, namely $\kappa$ and $j_E(\kappa)$ where $\kappa = \text{crt}(j_E)$. | |
| Apr 5, 2019 at 20:21 | comment | added | Otto | Thank you! I think along the same lines the following about iterations of ultrapowers is also true: if $g_0: [\kappa]^2\to \kappa$ and $g_1: [\kappa]^2\to \kappa$ are representing two different ordinals in $\mathrm{Ult}(V, E^2)$, then the ultrafilters derived from the map $V\mapsto \mathrm{Ult}(V, E^2)$ (with $[g_0], [g_1]$) will be different. | |
| Apr 5, 2019 at 20:15 | vote | accept | Otto | ||
| Apr 5, 2019 at 15:30 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 50 characters in body
|
| Apr 5, 2019 at 15:24 | history | answered | Gabe Goldberg | CC BY-SA 4.0 |