Timeline for Destroying Suslin, nothing special
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 19, 2018 at 16:02 | vote | accept | Asaf Karagila♦ | ||
| Nov 30, 2018 at 19:25 | comment | added | Asaf Karagila♦ | Hmm. That reminds me a bit of Woodin's extender algebra thing. But the whole definition just doesn't work when you insist on forcing "upwards". It's interesting, though. Thanks for pointing the finger to this definition! | |
| Nov 30, 2018 at 18:31 | comment | added | Todd Eisworth | That's a good question, because I don't think anyone other than Shelah really knows. He defines it in the first section of that chapter; it's an iteration that does something "bigger" than the inverse limit at ordinals of countable cofinality. He says that he can get away without it, but just wanted to present the material. | |
| Nov 30, 2018 at 18:03 | comment | added | Asaf Karagila♦ | Thanks Todd. What is an $\aleph_1$-free iteration, though? | |
| Nov 30, 2018 at 16:47 | history | answered | Todd Eisworth | CC BY-SA 4.0 |