Timeline for Logical strength of "choice functions exist for well-ordered families"?
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 8, 2015 at 21:33 | comment | added | Asaf Karagila♦ | $\sf DC_\kappa\implies AC_\kappa, W_\kappa$ and that is the only implication, without adding more assumptions. | |
| Apr 8, 2015 at 21:31 | comment | added | Victoria Gitman | Yes, I didn't write that because I didn't remember how it compared with $DC_{\omega_1}$. | |
| Apr 8, 2015 at 21:30 | comment | added | Asaf Karagila♦ | Well, only the minor addition that it does not imply that every set is comparable with $\aleph_1$ in cardinality (which is weaker than $\sf DC_{\omega_1}$ of course). I actually linked to your question regarding these proofs from the summer, below in the comments of the question. | |
| Apr 8, 2015 at 21:28 | comment | added | Victoria Gitman | Did I miss any interesting facts? (It is abnormally freezing here, which is depressing in the spring) | |
| Apr 8, 2015 at 21:23 | comment | added | Asaf Karagila♦ | It was 37 degrees centigrade today. Tomorrow is 21 degrees. The weather is crazy. I also have to grade homework assignments. All these things drained my will to stay awake... :-) | |
| Apr 8, 2015 at 21:22 | comment | added | Victoria Gitman | And I used the opportunity, all the while wondering why you weren't beating me to it :). | |
| Apr 8, 2015 at 20:39 | comment | added | Asaf Karagila♦ | I literally snoozed and missed answering the question. :-) | |
| Apr 8, 2015 at 19:07 | vote | accept | Timothy Chow | ||
| Apr 8, 2015 at 18:57 | history | answered | Victoria Gitman | CC BY-SA 3.0 |