Timeline for The closure of a generic ultrapower
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 20, 2010 at 14:49 | vote | accept | Stefan Hoffelner | ||
| Apr 20, 2010 at 14:40 | comment | added | Joel David Hamkins | I added several tags. | |
| Apr 20, 2010 at 14:40 | history | edited | Joel David Hamkins |
Added tags
|
|
| Apr 20, 2010 at 14:31 | answer | added | Joel David Hamkins | timeline score: 4 | |
| Apr 20, 2010 at 13:38 | comment | added | Joel David Hamkins | You want the functions used to build the ultrapower to have domain $P_\kappa(\lambda)$, not $\kappa$, since the measure lives on $P_\kappa(\lambda)$. | |
| Apr 20, 2010 at 7:44 | history | asked | Stefan Hoffelner | CC BY-SA 2.5 |