Timeline for Is this lemma equivalent to the axiom of choice?
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 8, 2019 at 11:35 | review | Close votes | |||
| Mar 13, 2019 at 3:05 | |||||
| Mar 8, 2019 at 10:46 | history | edited | Ethan Splaver | CC BY-SA 4.0 |
added 127 characters in body
|
| Mar 8, 2019 at 10:43 | history | became hot network question | |||
| Mar 8, 2019 at 10:38 | history | edited | Ethan Splaver | CC BY-SA 4.0 |
deleted 111 characters in body
|
| Mar 8, 2019 at 10:34 | vote | accept | Ethan Splaver | ||
| Mar 8, 2019 at 10:30 | history | edited | Ethan Splaver | CC BY-SA 4.0 |
added 15 characters in body
|
| Mar 8, 2019 at 10:25 | comment | added | Asaf Karagila♦ | Writing $\{a\preceq b:b\in S\}$ is really bad form. I recommend $\{a\in X:\exists b\in S, a\preceq b\}$, and also mind you $a\preceq b$ gives you maximal elements, not minimal elements. | |
| Mar 8, 2019 at 10:24 | history | edited | Ethan Splaver | CC BY-SA 4.0 |
added 110 characters in body
|
| Mar 8, 2019 at 10:24 | comment | added | user44191 | Your lemma is written somewhat ambiguously; as the axiom of choice doesn't depend on some $X$, I'm guessing that your lemma is that for every preordered set $(X, \preceq )$, either both sides of the biimplication above are true or they are both false. Is that correct? | |
| Mar 8, 2019 at 10:24 | answer | added | Asaf Karagila♦ | timeline score: 10 | |
| Mar 8, 2019 at 10:23 | history | edited | Ethan Splaver | CC BY-SA 4.0 |
added 110 characters in body
|
| Mar 8, 2019 at 10:14 | history | edited | Ethan Splaver | CC BY-SA 4.0 |
deleted 6 characters in body
|
| Mar 8, 2019 at 9:34 | history | edited | Ethan Splaver | CC BY-SA 4.0 |
added 120 characters in body
|
| Mar 8, 2019 at 9:26 | history | asked | Ethan Splaver | CC BY-SA 4.0 |