Timeline for Hahn-Banach without Choice
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 4, 2010 at 7:08 | comment | added | Andrej Bauer | Not to mention that recent results of Alex Simpson show that localic measure theory is a much saner thing than ordinary measure theory. There is a locale of random sequences, for example, but there is no space of random sequences. | |
| Nov 13, 2010 at 0:06 | comment | added | Peter LeFanu Lumsdaine | And of course this is true also for several other choice-y results, most notably Tychonoff… On counterfactual days, I do wonder whether in some alternative histories, the mainstream theory of spaces and continuity might have been founded from the start on locales rather than on topological spaces, and if we would view AC differently in that case. (Or, of course, it might have been based on some theory we still haven't invented yet in this reality!) | |
| Nov 12, 2010 at 17:49 | history | answered | Dmitri Pavlov | CC BY-SA 2.5 |