Timeline for $\kappa$-support iterations of $<\kappa$-strategically closed forcing
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 16, 2015 at 14:21 | comment | added | Todd Eisworth | That would indeed be silly: the result is folklore, and they include in a section recalling some standard facts. They prove the result for the same reason I asked for a reference: we need that the canonical strategy has some nice properties, and it is convenient to have a place to send a reader wanting to see some details. | |
| Oct 15, 2015 at 23:06 | comment | added | Joel David Hamkins | But are we meant to refer to this as the Roslanowski-Shelah theorem of 2007? I don't think so, since of course this result was widely known long before that. | |
| Oct 15, 2015 at 23:02 | comment | added | Asaf Karagila♦ | To elaborate on the last line, "Sheva" is the Hebrew word for seven. | |
| Oct 15, 2015 at 22:24 | history | answered | Todd Eisworth | CC BY-SA 3.0 |