Timeline for Simpler proofs using the axiom of choice
Current License: CC BY-SA 4.0
20 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 29 at 23:25 | history | reopened | Joel David Hamkins lo.logic Users with the lo.logic badge or a synonym can single-handedly close lo.logic questions as duplicates and reopen them as needed. | ||
| Jan 22, 2023 at 16:24 | review | Reopen votes | |||
| Feb 21, 2023 at 16:25 | |||||
| Jan 22, 2023 at 15:45 | history | closed |
Benjamin Steinberg Martin Brandenburg Ivan Izmestiev Daniele Tampieri Alex M. |
Duplicate of Unnecessary uses of the axiom of choice | |
| Jan 22, 2023 at 15:11 | answer | added | Shika | timeline score: 5 | |
| Jan 21, 2023 at 19:02 | answer | added | Martin Väth | timeline score: 4 | |
| Jan 21, 2023 at 17:14 | history | edited | coudy | CC BY-SA 4.0 |
better title
|
| Jan 21, 2023 at 17:13 | comment | added | coudy | @Steinberg Some answers in this other question are relevant but the answers given below to my question are also quite on topic. I am interested in examples of use of AC that simplify the proof. Useless does not necessarily means simpler. | |
| Jan 21, 2023 at 9:59 | answer | added | Sam Sanders | timeline score: 9 | |
| Jan 21, 2023 at 0:14 | history | edited | Martin Brandenburg |
edited tags
|
|
| Jan 20, 2023 at 21:49 | history | made wiki | Post Made Community Wiki by Stefan Kohl♦ | ||
| Jan 20, 2023 at 20:35 | review | Close votes | |||
| Jan 22, 2023 at 15:51 | |||||
| Jan 20, 2023 at 19:26 | answer | added | I. J. Kennedy | timeline score: 23 | |
| Jan 20, 2023 at 18:58 | comment | added | Julia Williams | This similar question has a lot of answers that would apply here. | |
| Jan 20, 2023 at 17:46 | answer | added | Joel David Hamkins | timeline score: 20 | |
| Jan 20, 2023 at 17:14 | answer | added | Joel David Hamkins | timeline score: 16 | |
| Jan 20, 2023 at 17:06 | history | became hot network question | |||
| Jan 20, 2023 at 16:17 | answer | added | Holo | timeline score: 11 | |
| Jan 20, 2023 at 14:59 | answer | added | Alexandre Eremenko | timeline score: 8 | |
| Jan 20, 2023 at 9:20 | comment | added | Martin Sleziak | Two definitions of global continuity are equivalent for real functions. See the answers on Mathematics: Continuity and the Axiom of Choice. This result is in the chapter named "Unnecessary Choice" in Herrlich's book - maybe some other results from that chapter might be interesting, too. It is mentioned in one of the answer here: Unnecessary uses of the axiom of choice. | |
| Jan 20, 2023 at 9:01 | history | asked | coudy | CC BY-SA 4.0 |