Timeline for Presaturated ideals
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Dec 28, 2020 at 2:43 | history | suggested | Master | CC BY-SA 4.0 |
Fixed capitalization
|
| Dec 27, 2020 at 23:32 | review | Suggested edits | |||
| S Dec 28, 2020 at 2:43 | |||||
| Feb 17, 2015 at 7:23 | vote | accept | Monroe Eskew | ||
| Feb 17, 2015 at 6:47 | answer | added | Mohammad Golshani | timeline score: 4 | |
| Feb 17, 2015 at 5:34 | comment | added | Asaf Karagila♦ | @Mohammad: Thanks. I'll look at it when I'm at the university later today. | |
| Feb 17, 2015 at 5:25 | comment | added | Mohammad Golshani | @AsafKaragila No, it is removed there, but you can see it in Shelah's book "Cardinal arithemtic", page 304 (again Lemma 4.9!!) | |
| Feb 17, 2015 at 5:20 | comment | added | Asaf Karagila♦ | @Mohammad: Does this theorem appear in Proper and Improper Forcing somewhere as well? | |
| Feb 17, 2015 at 5:18 | comment | added | Monroe Eskew | Simply because $\eta^+$ is the critical point of the generic embedding, so the ultrapower thinks that $\eta^+$ is an ordinal of cardinality $\eta$. In the non-precipitous case we use the fact that the generic ultrapower is well-founded at least up to $\eta^{++}$ (using canonical functions). | |
| Feb 17, 2015 at 5:16 | comment | added | Mohammad Golshani | Maybe a simple question in your argument. In your argument for applying Shelah's result, you seem use $\eta^{++}$ is collapsed into $\eta.$ Why this is true? in other words why $\eta^+$ is also collapsed? | |
| Feb 17, 2015 at 4:31 | comment | added | Monroe Eskew | Yes, I am using this theorem in my corollary, but I don't see how it implies the claim. | |
| Feb 17, 2015 at 4:28 | comment | added | Mohammad Golshani | By Lemma 4.9 page 440 of Shelah's book ``proper forcing'', we must have in the generic extension, $cf(\lambda^+)=cf(|\lambda^+|)$. | |
| Feb 17, 2015 at 4:06 | history | asked | Monroe Eskew | CC BY-SA 3.0 |