Timeline for Does stationary reflection imply Mahloness?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 30, 2015 at 2:05 | comment | added | Sean Cox | Joel, I suspect something like thus might work, but only if you do some sort of Prikry preparation. So that $\kappa $ is singular on the $ j $ side of the forcing, where $ j $ is a generic lifting of a ground model elementary embedding. But even then it's not clear. | |
| Jul 30, 2015 at 1:58 | vote | accept | Sean Cox | ||
| Jul 30, 2015 at 0:07 | comment | added | Joel David Hamkins | Do you know what happens if you simply use the Mahlo-killing forcing? (Conditions are closed bounded sets containing no regular cardinal.) This forcing is very nice, and has $\delta$-closed dense subsets for every $\delta<\kappa$; so it adds no bounded sets. If you have stationary reflection in the ground model, is this preserved to the forcing extension $V[C]$? | |
| Jul 29, 2015 at 23:33 | answer | added | Monroe Eskew | timeline score: 15 | |
| Jul 29, 2015 at 22:21 | comment | added | Sean Cox | In the model I know of, yes. | |
| Jul 29, 2015 at 22:17 | comment | added | Asaf Karagila♦ | In the case of Remark 1, is $\kappa$ at least weakly Mahlo? | |
| Jul 29, 2015 at 22:10 | history | asked | Sean Cox | CC BY-SA 3.0 |