Timeline for Global choice for models of complete theories in $\mathsf{ZFC}$
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Apr 7, 2020 at 20:08 | comment | added | Asaf Karagila♦ | The easy way to tackle these sort of problems is starting with an inaccessible $\kappa$, then violating the axiom of choice in a myriad of ways "at $\kappa$", so $V_{\kappa+1}$ will be a model of $\sf ZFC_2$, but global choice will fail in various ways. After we understand that mechanism we can see if we can remove the inaccessible, and in all likelihood, we can. | |
| Apr 7, 2020 at 3:39 | history | asked | James E Hanson | CC BY-SA 4.0 |