Timeline for Independence result where probabilistic intuition predicts the wrong answer?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 19, 2021 at 14:36 | vote | accept | Timothy Chow | ||
| Jan 19, 2021 at 11:55 | comment | added | Peter LeFanu Lumsdaine | @TimothyChow: That seems a bit unlikely, because (at least as I understand it) the claim “genericity is more connected to Baire category than measure” holds just for the specific forcing poset Cohen first used (and related forcing posets), not about forcing in general. You can also force to adjoin a random real, using the poset of Borel sets modulo measure zero. So the category/measure distinction can certainly be seen in Cohen forcing specifically, as this answer shows, but I don’t see how we’d expect it to show up in an independence result. | |
| Jan 19, 2021 at 2:58 | comment | added | Timothy Chow | This looks promising. Can this be parlayed into a natural-sounding statement of the form, "such-and-such a statement is unprovable in ZFC"? | |
| Jan 19, 2021 at 2:23 | history | answered | Andreas Blass | CC BY-SA 4.0 |