Timeline for Locales as spaces of ideal/imaginary points
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 23, 2019 at 20:46 | history | edited | Ingo Blechschmidt | CC BY-SA 4.0 |
typo
|
| Aug 21, 2018 at 15:36 | vote | accept | Maxime Ramzi | ||
| Jul 21, 2018 at 21:39 | comment | added | Andrej Bauer | Nice answer. So, it looks like you belive that there is no surjection from $\mathbb{N}$ to $\mathbb{R}$. | |
| Jul 21, 2018 at 17:00 | comment | added | Maxime Ramzi | Thank you very much for a great answer. Could you add a bit of clarification concerning the classifying locale ? | |
| Jul 21, 2018 at 14:30 | history | answered | Ingo Blechschmidt | CC BY-SA 4.0 |