Timeline for Projective well-ordered sets, higher up
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 20 at 8:33 | comment | added | Mikhail Katz | Hi Ali, let me know if you might have some insight into this: mathoverflow.net/questions/471388/… | |
| S Dec 16, 2023 at 6:37 | history | suggested | C7X | CC BY-SA 4.0 |
Removing Acrobat link, for wider compatibility
|
| Dec 16, 2023 at 2:42 | review | Suggested edits | |||
| S Dec 16, 2023 at 6:37 | |||||
| Dec 16, 2023 at 0:39 | history | became hot network question | |||
| Dec 15, 2023 at 20:15 | vote | accept | Ali Enayat | ||
| Dec 15, 2023 at 19:20 | answer | added | Farmer S | timeline score: 13 | |
| Dec 15, 2023 at 18:55 | comment | added | Ali Enayat | @FarmerS The model you described was also suggested by another colleague, but he was not aware of a reference. It would be nice of course to know the consistency strength. | |
| Dec 15, 2023 at 18:52 | comment | added | Ali Enayat | @JoelDavidHamkins I am interested in both, but the KM setting prompted the question. | |
| Dec 15, 2023 at 18:29 | comment | added | Farmer S | Is your question on what the actual consistency strength is? | |
| Dec 15, 2023 at 18:28 | comment | added | Farmer S | If $\kappa<\lambda$ are both inaccessible, doesn't it hold in $V[G]$ where $G$ is generic for the Levy collapse making $\lambda=\kappa^{+V[G]}$ (with conditions of size $<\kappa$ etc)? | |
| Dec 15, 2023 at 17:29 | comment | added | Joel David Hamkins | Are you aiming ultimately to have a ZFC model with an inaccessible, or rather a KM model? | |
| Dec 15, 2023 at 16:39 | history | asked | Ali Enayat | CC BY-SA 4.0 |