Timeline for BCT equivalent to DC
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 8, 2020 at 16:24 | comment | added | Asaf Karagila♦ | For those who maybe plan on reading the paper, I'm going to put it on arXiv by the end of the month. So if anyone got any remarks, please send me an email. | |
| Oct 4, 2020 at 16:51 | comment | added | Asaf Karagila♦ | @JohnColeman: Depending on whose side you're on, Dr. Strangelove had a very happy ending! (For example, if you're on the side of General Jack D. Ripper; or on the side of complete annihilation; or just on the side of nukes going bang...) In either case, no spoilers, you can read the write up and find out how it ends! | |
| Oct 4, 2020 at 16:43 | comment | added | John Coleman | I like the title too, but hope that it has a happier ending than Dr. Strangelove. | |
| Oct 4, 2020 at 11:50 | comment | added | Asaf Karagila♦ | @Andrej: I'm sure that one can write "Excluded Functional Analysis or: How I Learned to Stop Worrying and Love the Law of Excluded Middle" paper along similar lines. | |
| Oct 4, 2020 at 11:48 | comment | added | Andrej Bauer | The section on automatic continuity suggests that one should try to quantify how much a map is continuous also in other settings, e.g., constructively: given $f : X \to Y$, consider the set $c(f) \subseteq X$ of points at which $f$ is continuous. Constructively we cannot refute $c(f) = X$, but we should be able to say more than that, at least under certain circumstances. | |
| Oct 4, 2020 at 11:39 | comment | added | Asaf Karagila♦ | @Andrej: That's a big compliment. Thanks! | |
| Oct 4, 2020 at 11:37 | comment | added | Andrej Bauer | Now that's a title that makes me want to read the paper. | |
| Oct 3, 2020 at 12:55 | comment | added | Michael | Thank you very much, that's what I was looking for. | |
| Oct 3, 2020 at 12:55 | vote | accept | Michael | ||
| Oct 3, 2020 at 12:47 | history | answered | Asaf Karagila♦ | CC BY-SA 4.0 |