Timeline for Hahn-Banach theorem and ultrafilter lemma
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 2, 2023 at 19:50 | comment | added | oggius | Thanks! This is a nice proof that my suspicion is correct, and this comment in the paper was erroneous. | |
| Dec 2, 2023 at 19:49 | vote | accept | oggius | ||
| Nov 30, 2023 at 20:23 | history | answered | KP Hart | CC BY-SA 4.0 |