Timeline for Forcing $\neg AC$
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 12, 2014 at 14:07 | comment | added | Wojowu | Okay, thanks for these references. I will certainly take a look at them when I can. I didn't think $\neg AC$ can be such tricky to construct! | |
| Jul 12, 2014 at 14:06 | vote | accept | Wojowu | ||
| Jul 12, 2014 at 14:06 | comment | added | Asaf Karagila♦ | Cohen's models of $\lnot AC$ are exactly symmetric extensions. Those are inner models of generic extensions of the ground models which are defined using automorphisms of the forcing poset. | |
| Jul 12, 2014 at 14:05 | comment | added | Wojowu | Wasn't the first Cohen's model also model of $ZF\neg C$? Did the construction also use such inner model arguments? | |
| Jul 12, 2014 at 13:56 | history | answered | Asaf Karagila♦ | CC BY-SA 3.0 |