Timeline for Relations of axioms of choice
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 3, 2018 at 21:03 | vote | accept | user44191 | ||
| May 1, 2018 at 10:21 | comment | added | Joel David Hamkins | Yes, indeed, the argument uses that either there are infinitely many prime pairs or there are not. | |
| May 1, 2018 at 10:16 | comment | added | Mikhail Katz | Your comment to Lenstra relies on LEM. Does this have interesting ramifications? | |
| May 1, 2018 at 10:11 | comment | added | Joel David Hamkins | For the other question, one interesting thing to say is that if $\text{AC}_\alpha$ holds for every ordinal $\alpha$, then DC holds. | |
| May 1, 2018 at 6:59 | comment | added | user44191 | Heh. This is a great answer to my second question, and it at least points towards some implication structure beyond the trivial obtained from basic axioms. I'm thinking of splitting the question, so that this stands as a full answer. | |
| May 1, 2018 at 3:46 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
deleted 5 characters in body
|
| May 1, 2018 at 3:37 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
deleted 5 characters in body
|
| May 1, 2018 at 3:29 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |